Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005998OCamlOCaml typingpublic2013-04-23 02:052016-06-03 09:59
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 0005997closedgarrigue Non-compatibility assumed between concrete types with same constructor 
parent of 0005989closedgarrigue Assumed inequalities involving private rows 
parent of 0005985confirmedgarrigue Unexpected interaction between variance and GADTs 
parent of 0005981closedgarrigue Incompatibility check assumes abstracted type constructors are injective 
parent of 0005867closedgarrigue there is no syntax to bind a type variable introduced in a gadt pattern 
parent of 0005948closedgarrigue GADT with polymorphic variants bug 
parent of 0005724closedgarrigue Interaction between GADTs and polymorphic variants 
parent of 0005906closedgarrigue GADT exhaustiveness check is still broken 
parent of 0005892closedgarrigue GADT exhaustiveness check is broken 
parent of 0005853closedgarrigue compiler is unable to detect unused cases in pattern matching on GADT 
parent of 0005780resolvedgarrigue 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 0005848closedgarrigue Assertion failure in type checker 
parent of 0006241closedgarrigue Assumed inequality between paths involving functor arguments 
parent of 0006403resolvedgarrigue another broken GADT exhaustiveness check 
parent of 0006395resolvedgarrigue Incorrect exhaustiveness warning with GADTs 
parent of 0006405closedgarrigue unsound interaction of -rectypes and GADTs 
parent of 0006437resolvedgarrigue GADT exhaustiveness check incompleteness 
parent of 0006801resolvedgarrigue Exhaustiveness messages for GADTs suggest patterns that will not type check 
parent of 0006220closedgarrigue GADT type information is not used to detect unused match cases 
parent of 0007074assignedgarrigue There is no easy way to give names to existential variables introduced by GADT pattern-matching 
parent of 0007269resolvedgarrigue Segfault from conjunctive constraints 
parent of 0007233assignedgarrigue Support GADT equations on non-local abstract types 
related to 0006598resolvedgarrigue lack of syntax for pattern-matching with no branches 
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
2014-10-04 14:05 gasche Relationship added related to 0006598
2015-04-27 12:27 garrigue Relationship added parent of 0006801
2015-04-30 04:41 garrigue Relationship added parent of 0006220
2015-12-04 02:42 garrigue Relationship added parent of 0007074
2016-06-03 09:58 garrigue Relationship added parent of 0007269
2016-06-03 09:59 garrigue Relationship added parent of 0007233


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker