Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005998OCamlOCaml typingpublic2013-04-23 02:052014-05-21 22:10
Reportergarrigue 
Assigned Togarrigue 
PrioritynoneSeverityfeatureReproducibilityhave not tried
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005998: GADT typing and exhaustiveness bugs
DescriptionThis is a parent PR for all GADT problems.
TagsNo tags attached.
Attached Files

- Relationships
parent of 0005997resolvedgarrigue Non-compatibility assumed between concrete types with same constructor 
parent of 0005989resolvedgarrigue Assumed inequalities involving private rows 
parent of 0005985confirmedgarrigue Unexpected interaction between variance and GADTs 
parent of 0005981resolvedgarrigue Incompatibility check assumes abstracted type constructors are injective 
parent of 0005867acknowledgedgarrigue there is no syntax to bind a type variable introduced in a gadt pattern 
parent of 0005948resolvedgarrigue GADT with polymorphic variants bug 
parent of 0005724resolvedgarrigue Interaction between GADTs and polymorphic variants 
parent of 0005906closedgarrigue GADT exhaustiveness check is still broken 
parent of 0005892resolvedgarrigue GADT exhaustiveness check is broken 
parent of 0005853resolvedgarrigue compiler is unable to detect unused cases in pattern matching on GADT 
parent of 0005780confirmedgarrigue Strange type variable names in error messages (GADTs) 
parent of 0005785closedgarrigue Misbehaviour with abstracted structural type used as GADT index 
parent of 0005713assignedgarrigue Opening GADTs to get more equations on local abstract types introduced by module unpacking 
parent of 0005736confirmedgarrigue Support GADTs in or-patterns 
parent of 0005689closedgarrigue Problem with GADTs and polymorphic variants 
parent of 0005427closedgarrigue GADTs with object type indexes 
parent of 0005425closedgarrigue GADTs with object type indexes 
parent of 0005848resolvedgarrigue Assertion failure in type checker 
parent of 0006241resolvedgarrigue Assumed inequality between paths involving functor arguments 
parent of 0006403acknowledgedgarrigue another broken GADT exhaustiveness check 
parent of 0006395acknowledgedgarrigue Incorrect exhaustiveness warning with GADTs 
parent of 0006405resolvedgarrigue unsound interaction of -rectypes and GADTs 
parent of 0006437confirmedgarrigue GADT exhaustiveness check incompleteness 
Not all the children of this issue are yet resolved or closed.

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2013-04-23 02:05 garrigue New Issue
2013-04-23 02:05 garrigue Status new => assigned
2013-04-23 02:05 garrigue Assigned To => garrigue
2013-04-23 02:05 garrigue Relationship added parent of 0005997
2013-04-23 02:06 garrigue Relationship added parent of 0005993
2013-04-23 02:06 garrigue Relationship deleted parent of 0005993
2013-04-23 02:06 garrigue Relationship added parent of 0005989
2013-04-23 02:06 garrigue Relationship added parent of 0005985
2013-04-23 02:07 garrigue Relationship added parent of 0005981
2013-04-23 02:09 garrigue Relationship added parent of 0005867
2013-04-23 02:10 garrigue Relationship added parent of 0005948
2013-04-23 02:40 garrigue Relationship added parent of 0005724
2013-04-23 02:41 garrigue Relationship added parent of 0005906
2013-04-23 02:41 garrigue Relationship added parent of 0005892
2013-04-23 02:43 garrigue Relationship added parent of 0005853
2013-04-23 02:44 garrigue Relationship added parent of 0005780
2013-04-23 02:45 garrigue Relationship added parent of 0005785
2013-04-23 02:46 garrigue Relationship added parent of 0005713
2013-04-23 02:52 garrigue Relationship added parent of 0005736
2013-04-23 02:53 garrigue Relationship added parent of 0005689
2013-04-23 02:55 garrigue Relationship added parent of 0005427
2013-04-23 02:55 garrigue Relationship added parent of 0005425
2013-04-26 00:34 garrigue Relationship added parent of 0005848
2013-11-18 08:44 yallop Relationship added parent of 0006241
2014-05-07 18:11 gasche Relationship added parent of 0006403
2014-05-08 00:46 yallop Relationship added parent of 0006395
2014-05-11 09:56 garrigue Relationship added parent of 0006405
2014-05-21 22:10 gasche Relationship added parent of 0006437


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker