Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005918OCamlOCaml typingpublic2013-02-12 14:582013-07-12 09:31
Reporternuffer 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionunable to reproduce 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version 
Summary0005918: Short-paths compiler patch causes crash on undefined record label in recursive modules
DescriptionUsing a compiler with Jacques Garrigue's short paths compiler patch the type checker crashes trying to generate "record field labels are undefined" errors for types inside recursive modules.
Steps To ReproduceUsing ocaml-4.00.1 with Jacques Garrigue's short paths patch, compile:

module rec A : sig
  type t
end = struct
  type t =
    { a : unit;
      b : unit;
    }

  let _ = { a = () }
end
;;

And receive something like:

Fatal error: exception Assert_failure("typing/typecore.ml", 257, 13)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008838)
garrigue (manager)
2013-02-13 00:46

The short paths patch is now merged in trunk.
Please use trunk, as the patch will only be supported in 4.01.
And I couldn't reproduce your bug using trunk.

- Issue History
Date Modified Username Field Change
2013-02-12 14:58 nuffer New Issue
2013-02-13 00:46 garrigue Note Added: 0008838
2013-02-13 00:46 garrigue Assigned To => garrigue
2013-02-13 00:46 garrigue Status new => feedback
2013-07-12 09:31 doligez Status feedback => resolved
2013-07-12 09:31 doligez Resolution open => unable to reproduce


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker