Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005427OCamlOCaml generalpublic2011-12-15 00:502013-04-23 02:55
Reportergarrigue 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.13.0+dev 
Target VersionFixed in Version3.13.0+dev 
Summary0005427: GADTs with object type indexes
DescriptionSecond file
TagsNo tags attached.
Attached Files? file icon bug1.ml [^] (225 bytes) 2011-12-15 00:50 [Show Content]

- Relationships
related to 0005425closedgarrigue GADTs with object type indexes 
child of 0005428assignedgarrigue Behaviour of flatten_fields and various functions in presence of object indexes. 
child of 0005998assignedgarrigue GADT typing and exhaustiveness bugs 

-  Notes
(0006298)
garrigue (manager)
2011-12-15 03:31

Fatal error in printtyp.ml, caused by printing a type abbreviation expanding directly to a Tfield.
This is needed for using objects as GADT indices.
Fixed in revision 11316.

- Issue History
Date Modified Username Field Change
2011-12-15 00:50 garrigue New Issue
2011-12-15 00:50 garrigue Status new => assigned
2011-12-15 00:50 garrigue Assigned To => garrigue
2011-12-15 00:50 garrigue File Added: bug1.ml
2011-12-15 00:50 garrigue Issue generated from 0005425
2011-12-15 00:50 garrigue Relationship added related to 0005425
2011-12-15 03:31 garrigue Note Added: 0006298
2011-12-15 03:31 garrigue Status assigned => closed
2011-12-15 03:31 garrigue Resolution open => fixed
2011-12-15 03:31 garrigue Fixed in Version => 3.13.0+dev
2011-12-15 03:38 garrigue Issue cloned 0005428
2011-12-15 03:38 garrigue Relationship added child of 0005428
2013-04-23 02:55 garrigue Relationship added child of 0005998


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker