Custom Query (4 matches)


Show under each result:

Ticket Summary Keywords Status Owner Type Priority
#7494 Allow compatible type synonyms to be the return type of a GADT data constructor. GADT new feature request normal
#8920 Alternative GADT syntax gadts new feature request normal
#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
Note: See TracQuery for help on using queries.