Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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?
to your account
Original bug ID: 6930
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:14:56Z)
Fixed in version: 4.02.3+dev
Monitored by: @gasche
Using an alias as the result type of a GADT constructor seems to be crash the compiler as soon as you try to use the constructor. See "steps to reproduce."
Try to compile the following program:
type t = T : (t as 't) -> 't
let f t = T t
My example doesn't break if I define the type like this instead:
type t = T : 't -> (t as 't)
The text was updated successfully, but these errors were encountered:
Comment author: @garrigue
Fixed in branch 4.02 at revision 16205.
Sorry, something went wrong.
No branches or pull requests