Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007766OCamlmiddle end (typedtree to clambda)public2018-04-09 16:352018-04-09 17:10
ReporterVincent L 
Assigned Tooctachron 
PrioritynormalSeveritycrashReproducibilityalways
StatusresolvedResolutionduplicate 
PlatformOSOS XOS Version10.11.6 15G2001
Product Version4.06.1 
Target VersionFixed in Version4.07.0+dev/beta2/rc1/rc2 
Summary0007766: Fatal error: exception Ctype.Unify(_)
DescriptionWhen 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 InformationWhen the commented line is uncommented, the program is well-typed and correctly compiled.
TagsNo tags attached.
Attached Files? file icon subst.ml [^] (465 bytes) 2018-04-09 16:35 [Show Content]

- Relationships
duplicate of 0007695resolvedgarrigue Fatal error: exception Ctype.Unify(_) 

-  Notes
(0018997)
octachron (developer)
2018-04-09 17:10

Thanks for the report! This issue is duplicate of 7695, and it will be fixed with the release of OCaml 4.07 .

- Issue History
Date Modified Username Field Change
2018-04-09 16:35 Vincent L New Issue
2018-04-09 16:35 Vincent L File Added: subst.ml
2018-04-09 17:03 octachron Relationship added duplicate of 0007695
2018-04-09 17:10 octachron Note Added: 0018997
2018-04-09 17:10 octachron Status new => resolved
2018-04-09 17:10 octachron Fixed in Version => 4.07.0+dev/beta2/rc1/rc2
2018-04-09 17:10 octachron Resolution open => duplicate
2018-04-09 17:10 octachron Assigned To => octachron


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker