You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
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).
Original bug ID: 7437
Reporter: @avsm
Assigned to: @garrigue
Status: resolved (set by @garrigue on 2016-12-26T07:57:37Z)
Resolution: fixed
Priority: normal
Severity: crash
Version: 4.04.0
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: typing
Monitored by: @gasche
Bug description
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
Additional information
Found by Thomas Gazagnaire during mirage/mirage#743
The text was updated successfully, but these errors were encountered: