Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006123OCamlOCaml typingpublic2013-08-06 16:402013-08-20 05:57
Reporterwhitequark 
Assigned Togarrigue 
PrioritynormalSeveritycrashReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.1 
Target Version4.01.1+devFixed in Version4.01.0+dev 
Summary0006123: Assert_failure("typing/ctype.ml", 359, 6)
DescriptionWhile trying to compile the attached module, typechecker fails an assertion. The module is not well-typed; on 3.x this results in a type error.
Steps To Reproduceocamlc ssa.ml
TagsNo tags attached.
Attached Files? file icon ssa.ml [^] (369 bytes) 2013-08-06 16:40 [Show Content]

- Relationships
related to 0005619closedgarrigue Uncuaght CType.Unify exception 

-  Notes
(0010129)
gasche (developer)
2013-08-06 16:44

The code fails with a typing error as expected on 3.12. I reproduced the assert failure in both 4.00.1 and trunk.
(0010157)
garrigue (manager)
2013-08-12 08:34

This is apparently a consequence of the way PR#5619 was fixed.
Still looking for an alternative solution.
(0010205)
garrigue (manager)
2013-08-20 05:57

Fixed in trunk and 4.01, revisions 14021 an 14022.

- Issue History
Date Modified Username Field Change
2013-08-06 16:40 whitequark New Issue
2013-08-06 16:40 whitequark File Added: ssa.ml
2013-08-06 16:44 gasche Note Added: 0010129
2013-08-06 16:45 gasche Status new => confirmed
2013-08-12 08:33 garrigue Relationship added related to 0005619
2013-08-12 08:34 garrigue Note Added: 0010157
2013-08-12 08:34 garrigue Assigned To => garrigue
2013-08-12 08:34 garrigue Status confirmed => assigned
2013-08-19 17:36 doligez Target Version => 4.01.1+dev
2013-08-20 05:57 garrigue Note Added: 0010205
2013-08-20 05:57 garrigue Status assigned => resolved
2013-08-20 05:57 garrigue Fixed in Version => 4.01.0+dev
2013-08-20 05:57 garrigue Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker