Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Keywords Status Owner Type Priority
#4139 Spurious non-exhaustive pattern match warnings are given using GADTs GADTs, warnings, pattern matching new bug normal
#5777 core lint error with arrow notation and GADTs arrows, GADTs new ross bug normal
#7494 Allow compatible type synonyms to be the return type of a GADT data constructor. GADT new feature request normal
#8044 "Inaccessible code" error reported in wrong place GADTs new bug normal
#8920 Alternative GADT syntax gadts new feature request normal
Note: See TracQuery for help on using queries.