Make a smart mkAppTyM
[ghc.git] / compiler / typecheck / ClsInst.hs
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  David EichmannFix unused-import warnings
2018-10-25  Simon Peyton JonesImprove comments, triggered by Trac #15135
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-11  Piyush P KururSupport builtin classes like KnownNat in backpack
2018-08-30  Gabor GreifA few typos [ci skip]
2018-07-27  Simon Peyton JonesRefactor (~) to reduce the suerpclass stack
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints