Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Fatal error: exception Ctype.Unify(_) #7766
Original bug ID: 7766
When the attached file is compiled via
OCaml 4.06.1 and 4.05.0 behave like this.
Earlier versions produce a sensible error message:
File "subst.ml", line 25, characters 4-6:
When the commented line is uncommented, the program is well-typed and correctly compiled.