New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Investigate supporting inlined records for the transparent-types feature #70

Open

lthms opened this issue Apr 20, 2021 · 0 comments

Labels

enhancement question

Member

lthms commented Apr 20, 2021

I suspect this is not possible, as I discussed in the commit message of 0f7cb66

Also, inlined records, that type of the form

    type u = U of { foo : bar }

are still not supported, and might never be supported due to the
restriction of OCaml regarding these types (embodied by the error
message “This form is not allowed as the type of the inlined record
could escape”).

The text was updated successfully, but these errors were encountered:

lthms added enhancement question labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment