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