Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005428OCamlOCaml generalpublic2011-12-15 03:382014-09-26 19:44
Reportergarrigue 
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version3.13.0+dev 
Target Versionafter-4.02.1Fixed in Version 
Summary0005428: Behaviour of flatten_fields and various functions in presence of object indexes.
DescriptionDue to the introduction of object indexes for GADTs, the row variable of an object may now be an expansible type abbreviation.
A first consequence is that flatten_fields will not completely flatten the object, since the type abbreviation will not be expanded (flatten_fields does not receive the current environment).
Another consequence is that various functions may be called with the expansion of this type abbreviation, which is a Tfield, e.g. during printing.
Concrete problems have been fixed, but new bugs may appear in the future.
(Test cases were added to typing-gadts/test.ml)
Tagsgadts, typing
Attached Files

- Relationships
parent of 0005427closedgarrigue GADTs with object type indexes 
parent of 0005425closedgarrigue GADTs with object type indexes 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-12-15 03:38 garrigue New Issue
2011-12-15 03:38 garrigue Status new => assigned
2011-12-15 03:38 garrigue Assigned To => garrigue
2011-12-15 03:38 garrigue Issue generated from 0005427
2011-12-15 03:38 garrigue Relationship added parent of 0005427
2011-12-15 03:39 garrigue Relationship added parent of 0005425
2011-12-15 03:40 garrigue Tag Attached: gadts
2011-12-15 03:40 garrigue Tag Attached: typing
2012-07-10 11:52 doligez Target Version => 4.01.0+dev
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-20 18:05 doligez Target Version 4.00.1+dev => 4.01.0+dev
2013-08-19 12:01 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-18 20:45 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-26 19:44 doligez Target Version undecided => after-4.02.1


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker