Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Type Priority Milestone Component
#4385 Type-level natural numbers new feature request normal 7.12.1 Compiler (Type checker)
#8178 Need TypeRep for Symbol and numeric type literals; and Typeable instances new bug normal Compiler
#9334 Implement "instance chains" new feature request normal Compiler (Type checker)
#9708 Type inference non-determinism due to improvement new bug normal Compiler
#9260 Unnecessary error using GHC.TypeLits new bug low 7.12.1 Compiler
Note: See TracQuery for help on using queries.