Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2016-12-15  Ben Gamaribase: Bump version to
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesError message wibbles, re partial type sigs
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-01  Herbert Valerio... Bump ghc-prim version to (closes #11043)
2015-11-01  Herbert Valerio... Bump `base` version to (closes #11026)
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-10  Simon Peyton JonesBetter type wildcard errors
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesError message wibbles from out-of-scope changes
2015-04-25  Herbert Valerio... Bump base version to
2015-03-23  Herbert Valerio... Minor bump `base` version to
2015-03-20  Herbert Valerio... Bump ghc-prim to
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2014-11-28  Thomas WinantImplement Partial Type Signatures