Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005428OCamlOCaml generalpublic2011-12-15 03:382015-12-03 12:16
Assigned Togarrigue 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version3.13.0+dev 
Target VersionlaterFixed 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/
Tagsgadts, typing
Attached Files

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

-  Notes
frisch (developer)
2015-12-02 23:12

Jacques: I would suggest to close this ticket and open new ones when actual bugs are found. Or do you prefer to keep it open as a reminder to review the code?
garrigue (manager)
2015-12-03 12:16

Let's just keep it for later. It may be good as an anchor if a new bug appears. But it shouldn't be given a target version, because that doesn't make sense.

- 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 => 4.02.2+dev / +rc1
2015-02-26 21:08 doligez Target Version 4.02.2+dev / +rc1 => 4.02.3+dev
2015-07-15 14:58 doligez Target Version 4.02.3+dev => 4.03.0+dev / +beta1
2015-12-02 23:12 frisch Note Added: 0014977
2015-12-03 12:16 garrigue Note Added: 0014996
2015-12-03 12:16 garrigue Target Version 4.03.0+dev / +beta1 => later

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker