Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Cc Status Owner Type Priority
#6024 Allow defining kinds alone, without a datatype ross@…, bgamari@…, diatchki@… infoneeded feature request normal
#8447 A combination of type-level comparison and subtraction does not work for 0 diatchki infoneeded bug low
#7048 Add the ability to statically define a `FunPtr` to a haskell function la@…, iavor.diatchki@… new feature request normal
#8422 type nats solver is too weak! diatchki new bug normal
#8477 Allow inferring ambiguous types goldfire, diatchki new feature request normal
#8634 Relax functional dependency coherence check ("liberal coverage condition") diatchki, martin.sulzmann@… new feature request high
#9210 "overlapping instances" through FunctionalDependencies ekmett@…, dimitris@…, diatchki, dreixel new bug normal
#9649 symbols should/might be type level lists of chars simonpj@…, diatchki@… new ibotty feature request normal
#9980 TcS monad is too heavy diatchki, dimitris, goldfire, gkarachalias new bug normal
Note: See TracQuery for help on using queries.