Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005425OCamlOCaml generalpublic2011-12-15 00:492013-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 
Summary0005425: GADTs with object type indexes
DescriptionJe te joins deux fichiers avec des GADTs qui font soit crasher le
typeur, soit produire un message d'erreur pour le moins singulier. Si
tu préfères que je te fasse passer ça par mantis plutôt que par mail,
dis le moi.

Alexandre
TagsNo tags attached.
Attached Files? file icon bug2.ml [^] (233 bytes) 2011-12-15 00:49 [Show Content]

- Relationships
related to 0005427closedgarrigue 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
(0006297)
garrigue (manager)
2011-12-15 03:28

Stack overflow was caused by wrong code when unifying two Tfield's.
This case was not used until the extension of GADTs to objects.
Fixed in revision 11316.

- Issue History
Date Modified Username Field Change
2011-12-15 00:49 garrigue New Issue
2011-12-15 00:49 garrigue Status new => assigned
2011-12-15 00:49 garrigue Assigned To => garrigue
2011-12-15 00:49 garrigue File Added: bug2.ml
2011-12-15 00:50 garrigue Issue cloned 0005427
2011-12-15 00:50 garrigue Relationship added related to 0005427
2011-12-15 03:28 garrigue Note Added: 0006297
2011-12-15 03:28 garrigue Status assigned => closed
2011-12-15 03:28 garrigue Resolution open => fixed
2011-12-15 03:28 garrigue Fixed in Version => 3.13.0+dev
2011-12-15 03:39 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