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: 7437
Assigned to: @garrigue
Status: resolved (set by @garrigue on 2016-12-26T07:57:37Z)
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Monitored by: @gasche
type t = [` Closed ];;
type nonrec t = private [> t];;
Running this through "ocaml foo.ml" on 4.04.0:
Fatal error: exception File "typing/typedecl.ml", line 454, characters 26-32: Assertion failed
No exception with "ocamlc -i":
ocamlc -i t.ml
File "t.ml", line 2, characters 12-13:
Error: Multiple definition of the type name t.
Names must be unique in a given structure or signature
Found by Thomas Gazagnaire during mirage/mirage#743
The text was updated successfully, but these errors were encountered:
Comment author: @garrigue
Fixed by commit 94a1f38.
Private rows should be added to the environment, even in the nonrec case (they are needed, and they cannot be accessed from the syntax anyway).
Sorry, something went wrong.
No branches or pull requests