Custom Query (9 matches)


Show under each result:

Ticket Summary Cc Status Owner Type Priority
#8550 GHC builds recursive coerctions when using recursive type families goldfire new bug high
#8177 Roles for type families goldfire,…, ecrockett0@…, dmcclean new goldfire bug normal
#8477 Allow inferring ambiguous types goldfire, diatchki new feature request normal
#9017 Confusing error message with PolyKinds goldfire new bug normal
#9840 Permit empty closed type families goldfire new feature request normal
#9918 GHC chooses an instance between two overlapping, but cannot resolve a clause within the similar closed type family goldfire, oleg new bug normal
#9980 TcS monad is too heavy diatchki, dimitris, goldfire, gkarachalias new bug normal
#10132 Inconsistent kind polymorphism for top-level and associated type families diatchki, dimitris, goldfire new bug normal
#3483 Some mechanism for eliminating "absurd" patterns goldfire new feature request low
Note: See TracQuery for help on using queries.