Zonk before calling splitDepVarsOfType.
[ghc.git] / compiler / typecheck / TcSimplify.hs
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-17  Richard EisenbergFix #11711.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-15  Simon Peyton JonesComments only
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-08  Simon Peyton JonesA small, local refactoring of TcSimplify.usefulToFloat
2016-02-08  Simon Peyton JonesUse runTcSDeriveds for simplifyDefault
2016-02-08  Simon Peyton JonesImprove error messages for recursive superclasses
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-21  Simon Peyton JonesComments only
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImprove debug printing/warnings
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-07  Simon Peyton JonesRefactor simpl_top
2016-01-07  Simon Peyton JonesInline solveTopConstraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-18  Simon Peyton JonestcCheckSatisfiability: less aggressive superclass expansion
2015-12-16  David LuposchainskyAdd `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flags
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-14  Gabor GreifSome more typos in comments
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-04  Simon Peyton JonesAdd derived constraints for wildcard signatures
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-10-20  David KraeutmannExtended default rules now specialize Foldable, Travers...
2015-10-13  Alexander BerntsenSlightly wibble TcSimplify documentation
2015-10-12  Simon Peyton JonesReinstate monomorphism-restriction warnings
2015-08-06  Simon Peyton JonesComments only
2015-08-05  Simon Peyton JonesFix quantification for inference with sigs
2015-07-09  Simon Peyton JonesInfer types with flexible contexts
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-26  Simon Peyton JonesDon't float out alpha[sig] ~ Int
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-02-13  Simon Peyton JonesRefactor decideQuantification
2015-01-14  Simon Peyton JonesTiny refactoring (shorter, simpler code)
2015-01-14  Simon Peyton JonesTighten up constraint solve order for RULES
2015-01-09  Simon Peyton JonesFix Trac #9973 (buglet in -fwarn-redundant-constraints)
2015-01-06  Simon Peyton JonesTest Trac #9939
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesUse a less fragile method for defaulting
2015-01-06  Simon Peyton JonesReplace fixVarSet with transCloVarSet
2014-12-17  Gabor GreifTypos in comments
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/