Custom Query (4 matches)


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.