Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005865OCamlOCaml typingpublic2012-12-26 22:032012-12-27 03:40
Reporteravsm 
Assigned Togarrigue 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.01.0+dev 
Summary0005865: assert failure in type checker when printing type for valid error
DescriptionWith the latest OCaml 4.01.0+dev10 trunk (last commit: "do not diff the patch itself"), I get a typing assertion failure when a type error should be emitted:

File "githubbot.ml", line 19, characters 29-34:
Fatal error: exception Assert_failure("typing/printtyp.ml", 1154, 10)
Raised at file "format.ml", line 195, characters 41-52
Called from file "format.ml", line 423, characters 8-33
Called from file "format.ml", line 438, characters 6-24

The code in question is quite hard to separate out, but the failure is:

    prerr_endline m.Github_t.title

where the real record field is "m.Github_t.milestone_title" instead of "title".
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008650)
garrigue (manager)
2012-12-27 03:40

Indeed, the case where the type is known but the label name is an undefined qualified name was not handled.
Fixed in revision 13161.

- Issue History
Date Modified Username Field Change
2012-12-26 22:03 avsm New Issue
2012-12-27 03:40 garrigue Note Added: 0008650
2012-12-27 03:40 garrigue Status new => closed
2012-12-27 03:40 garrigue Assigned To => garrigue
2012-12-27 03:40 garrigue Resolution open => fixed
2012-12-27 03:40 garrigue Fixed in Version => 4.01.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker