Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (5 matches)

Ticket Summary Owner Type Priority Version Resolution
#2203 TFs in class instances heads chak bug normal 6.9 fixed
#2677 Detection of TF instance conflict depends on instance order chak bug normal 6.9 fixed
#2767 Type family bug ? chak bug normal 6.10.1 fixed
#2905 require -XGADTs in order to pattern-match GADTs proposal normal 6.10.1 fixed
#714 Inconsistency between handling functional dependencies in class and signature constraints simonpj bug low 6.5 duplicate
Note: See TracQuery for help on using queries.