Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006293OCamlOCaml typingpublic2014-01-10 20:082014-01-23 15:52
Reporterelnatan 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006293: Assert_failure("typing/typecore.ml", 264, 4)
DescriptionTrying to compile the code below causes an assertion failure in typecore.ml, in both 4.00 and 4.01.

module type S = sig type t = { a : int; b : int; } end
let f (module M : S with type t = int) = { M.a = 0 };;
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0010837)
xclerc (developer)
2014-01-23 15:52

Fails in 4.00 and 4.01 branches, but trunk (as of revision 14420) raises a proper error:
File "../pr6293.ml", line 2, characters 6-38:
Error: In this `with' constraint, the new definition of t
       does not match its original definition in the constrained signature:
       Type declarations do not match:
         type t
       is not included in
         type t = { a : int; b : int; }
       File "../pr6293.ml", line 1, characters 25-50: Expected declaration
       File "../pr6293.ml", line 2, characters 6-38: Actual declaration
       Their kinds differ.

- Issue History
Date Modified Username Field Change
2014-01-10 20:08 elnatan New Issue
2014-01-23 15:52 xclerc Note Added: 0010837
2014-01-23 15:52 xclerc Status new => confirmed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker