Custom Query (4 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#8171 Extending ExtendedDefaultRules new feature request normal
#8310 Can we change the semantics of `Trustworthy`? new dterei feature request normal
#9200 Milner-Mycroft failure at the kind level new goldfire bug normal
#9201 GHC unexpectedly refines explicit kind signatures new bug normal
Note: See TracQuery for help on using queries.