Merge remote branch 'origin/master'
[ghc-hetmet.git] / compiler / typecheck / TcSimplify.lhs
2011-05-18 Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17 Dimitrios VytiniotisIntroducing:
2011-05-02 Simon Peyton JonesMerge in changes from HEAD
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-19 simonpjSlightly better tracing in the constraint solver
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-02-21 simonpj@microsoft.comFix another fundep error (fixes Trac #4969)
2011-02-17 simonpj@microsoft.comChange typechecker-trace output slightly
2011-02-17 simonpj@microsoft.comFix Trac #4966
2011-02-14 simonpj@microsoft.comComments only
2011-02-11 simonpj@microsoft.comNew plan: push unsolved wanteds inwards
2011-02-11 simonpj@microsoft.comFix small but egregious error: using un-zonked constrai...
2011-01-13 simonpj@microsoft.comWhite space only
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-09 dimitris@microsoft.comMoved canonicalisation inside solveInteract
2010-12-02 simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-11-15 simonpj@microsoft.comEnsure that unification variables alloc'd during solvin...
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-19 simonpj@microsoft.comFix IPRun by fixing the inferred quantification mechanism
2010-10-19 simonpj@microsoft.comRecover after an error in an implication constraint
2010-10-18 dimitris@microsoft.comMajor pass through type checker:(1) prioritizing equali...
2010-10-15 Caching FD improvements for efficiency, (2) prevent...
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related...
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-08 simonpj@microsoft.comDo less simplification when doing let-generalisation
2010-10-08 simonpj@microsoft.comFix Trac #4361: be more discerning when inferring types
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker
2010-10-06 simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch
2010-09-19 simonpj@microsoft.comFurther improvements in error messages
2010-09-17 simonpj@microsoft.comSpaces only
2010-09-17 simonpj@microsoft.comRefactor type errors a bit
2010-09-13 simonpj@microsoft.comHaddock fixes
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2009-12-11 simonpj@microsoft.comFix spelling in comment
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-09-10 simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-07-23 simonpj@microsoft.comFix Trac #3193: improve line number reporting for equal...
2009-07-17 simonpj@microsoft.comFix Trac #3346: tcSimplify for LHS of RULES with type...
2009-07-07 Ian LynaghRemove unused imports
2009-07-01 Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong...
2009-05-28 simonpj@microsoft.comFix Trac #3261: make default types play nice with ...
2009-05-28 simonpj@microsoft.comAdd a comment
2009-04-27 Manuel M T ChakravartyEquality constraint solver is now externally pure
2009-03-03 simonpj@microsoft.comComments only
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
2009-01-30 simonpj@microsoft.comFix Trac #2985: generating superclasses and recursive...
2008-12-31 simonpj@microsoft.comImprove error reporting for 'deriving'
2008-12-16 Simon MarlowRollback INLINE patches
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature
2008-10-21 simonpj@microsoft.comComments and parens only
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-10-21 Manuel M T ChakravartyFIX #2693
2008-10-21 Manuel M T ChakravartyFIX #2688
2008-10-02 Manuel M T ChakravartyClean up some comments
2008-10-02 simonpj@microsoft.comComments only
2008-10-01 Manuel M T ChakravartyTFs: Fixed InstContextNorm (and simplification of IPs)
2008-10-01 Manuel M T ChakravartyTcSimplify.reduceImplication: clean up
2008-10-01 Manuel M T ChakravartyMake sure to zonk the kind of coercion variables
2008-09-18 simonpj@microsoft.comFix Trac #1470: improve handling of recursive instances...
2008-09-16 Manuel M T ChakravartyType families: bug fixes
2008-09-14 Manuel M T ChakravartyRemember if RewriteInst is swapped & bug fixes
2008-09-14 Manuel M T ChakravartyType families: fixed all non-termination in the testsuite
2008-09-13 Manuel M T ChakravartyType families: completed the new equality solver
2008-08-11 simonpj@microsoft.comFix Trac #2494: tcSimplifyRuleLhs
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id...
2008-07-20 Thomas SchillingFix Haddock errors.
2008-06-16 Ian LynaghMore commandline flag improvements
2008-06-06 Ian LynaghFix warnings in TcSimplify
2008-06-05 simonpj@microsoft.comFix Trac #2045: use big-tuple machiney for implication...
2008-06-05 simonpj@microsoft.comComments only
2008-06-03 Simon Marlowadd debugDumpTcRn and use it for some debugging output
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcSimplify
2008-04-07 Manuel M T ChakravartyRemove GADT refinements, part 5
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-03-29 Ian LynaghDEBUG removal
2008-03-13 Manuel M T ChakravartySome cleanup in TcSimplify.reduceContext
2008-03-13 Manuel M T ChakravartyProperly normalise reduced dicts
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-28 Manuel M T ChakravartyRemove GADT refinements, part 2
2008-02-28 Manuel M T ChakravartyRemove GADT refinements, part 1
2008-02-28 Manuel M T ChakravartyEliminate SkolemOccurs skolems only after checkLoop...
2008-01-17 Twan van LaarhovenMonadify typecheck/TcSimplify: use do, return and stand...
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform
2007-12-07 Manuel M T ChakravartyProperly keep track of whether normalising given or...
2007-11-28 simonpj@microsoft.comReorganise TcSimplify (again); FIX Trac #1919
2007-11-22 Manuel M T ChakravartyProperly ppr InstEqs in wanteds of implication constraints
2007-11-05 simonpj@microsoft.comInline implication constraints
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug
2007-10-27 simonpj@microsoft.comMake 'improvement' work properly in TcSimplify
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems
2007-10-18 Manuel M T ChakravartyDon't barf on error message with non-tc tyvars
2007-10-12 simonpj@microsoft.comFix DoCon: Another try at getting extractResults right
2007-10-10 simonpj@microsoft.comAdd traceTc in tcSimplifyDefault
2007-10-10 simonpj@microsoft.comFIX: tidy up TcSimplify following equality constraints...
2007-09-27 simonpj@microsoft.comComments and debug output only
2007-09-19 Manuel M T ChakravartyFIX #1688: Givens in checkLoop are not that rigid after all
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules