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
Original bug ID: 7766 Reporter: Vincent L Assigned to:@Octachron Status: resolved (set by @Octachron on 2018-04-09T15:10:29Z) Resolution: duplicate Priority: normal Severity: crash OS: OS X OS Version: 10.11.6 15G2001 Version: 4.06.1 Fixed in version: 4.07.0+dev/beta2/rc1/rc2 Category: middle end (typedtree to clambda) Duplicate of:#7695 Monitored by:@nojb@gasche
Bug description
When the attached file is compiled via ocamlc or ocamlopt, the compiler crashes with: “Fatal error: exception Ctype.Unify(_)” (Raised at file "typing/ctype.ml", line 2797, characters 6-45…).
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:
Error: This expression has type unit P.gty P.gfunc
but an expression was expected of type int P.gty P.gfunc
Type unit is not compatible with type int
Additional information
When the commented line is uncommented, the program is well-typed and correctly compiled.
Original bug ID: 7766
Reporter: Vincent L
Assigned to: @Octachron
Status: resolved (set by @Octachron on 2018-04-09T15:10:29Z)
Resolution: duplicate
Priority: normal
Severity: crash
OS: OS X
OS Version: 10.11.6 15G2001
Version: 4.06.1
Fixed in version: 4.07.0+dev/beta2/rc1/rc2
Category: middle end (typedtree to clambda)
Duplicate of: #7695
Monitored by: @nojb @gasche
Bug description
When the attached file is compiled via
ocamlc
orocamlopt
, the compiler crashes with: “Fatal error: exception Ctype.Unify(_)” (Raised at file "typing/ctype.ml", line 2797, characters 6-45…).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:
Error: This expression has type unit P.gty P.gfunc
but an expression was expected of type int P.gty P.gfunc
Type unit is not compatible with type int
Additional information
When the commented line is uncommented, the program is well-typed and correctly compiled.
File attachments
The text was updated successfully, but these errors were encountered: