Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#7026 Impredicative implicit parameters new bug normal
#7503 Bug with PolyKinds, type synonyms & GADTs new simonpj bug normal 7.12.1
Note: See TracQuery for help on using queries.