Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004051OCamlOCaml generalpublic2006-06-21 00:462006-06-26 11:42
Reporterdboulytchev 
Assigned Togarrigue 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.10+dev 
Target VersionFixed in Version3.10+dev 
Summary0004051: ocamlc 3.10+dev: "Fatal error: exception Ctype.Unify(_, _)" (seems to be different from 0003918).
DescriptionI got this exception while compiling first some module with
-rectypes option and then dependent module without it (by mistake).
I've tried to minimize the case; the sources attached.

TagsNo tags attached.
Attached Filestgz file icon unifyError.tgz [^] (250 bytes) 2006-06-21 00:46

- Relationships

-  Notes
(0003694)
garrigue (manager)
2006-06-23 03:16

The error message is indeed a problem, but note that you are not supposed to
import a signature compiled with -rectypes in a modules not compiled with
-rectypes, as the semantics of typing become unclear.
We may solve it as suggested in PR#4000, by requiring -rectypes.
(0003697)
garrigue (manager)
2006-06-26 11:42

Solved by solving PR#4000. The second module now requires -rectypes to compile.

- Issue History
Date Modified Username Field Change
2006-06-21 00:46 dboulytchev New Issue
2006-06-21 00:46 dboulytchev File Added: unifyError.tgz
2006-06-23 03:16 garrigue Note Added: 0003694
2006-06-23 03:16 garrigue Assigned To => garrigue
2006-06-23 03:16 garrigue Status new => acknowledged
2006-06-26 11:42 garrigue Status acknowledged => closed
2006-06-26 11:42 garrigue Note Added: 0003697
2006-06-26 11:42 garrigue Resolution open => fixed
2006-06-26 11:42 garrigue Fixed in Version => 3.10+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker