| 2011-01-13 |
simonpj@microsoft.com | White space only |
blob | commitdiff |
| 2011-01-12 |
simonpj@microsoft.com | Major refactoring of the type inference engine |
blob | commitdiff | diff to current |
| 2010-12-13 |
simonpj@microsoft.com | Fix recursive superclasses (again). Fixes Trac #4809. |
blob | commitdiff | diff to current |
| 2010-12-09 |
dimitris@microsoft.com | Moved canonicalisation inside solveInteract |
blob | commitdiff | diff to current |
| 2010-12-02 |
simonpj@microsoft.com | Re-jig simplifySuperClass (again) |
blob | commitdiff | diff to current |
| 2010-11-15 |
simonpj@microsoft.com | Ensure that unification variables alloc'd during solvin... |
blob | commitdiff | diff to current |
| 2010-11-12 |
simonpj@microsoft.com | A (final) re-engineering of the new typechecker |
blob | commitdiff | diff to current |
| 2010-10-19 |
simonpj@microsoft.com | Fix IPRun by fixing the inferred quantification mechanism |
blob | commitdiff | diff to current |
| 2010-10-19 |
simonpj@microsoft.com | Recover after an error in an implication constraint |
blob | commitdiff | diff to current |
| 2010-10-18 |
dimitris@microsoft.com | Major 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.com | Midstream changes for performance improvement related... |
blob | commitdiff | diff to current |
| 2010-10-08 |
simonpj@microsoft.com | Beautiful new approach to the skolem-escape check and... |
blob | commitdiff | diff to current |
| 2010-10-08 |
simonpj@microsoft.com | Do less simplification when doing let-generalisation |
blob | commitdiff | diff to current |
| 2010-10-08 |
simonpj@microsoft.com | Fix Trac #4361: be more discerning when inferring types |
blob | commitdiff | diff to current |
| 2010-10-06 |
dimitris@microsoft.com | Major bugfixing pass through the type checker |
blob | commitdiff | diff to current |
| 2010-10-06 |
simonpj@microsoft.com | Refactoring: mainly rename ic_env_tvs to ic_untch |
blob | commitdiff | diff to current |
| 2010-09-19 |
simonpj@microsoft.com | Further improvements in error messages |
blob | commitdiff | diff to current |
| 2010-09-17 |
simonpj@microsoft.com | Spaces only |
blob | commitdiff | diff to current |
| 2010-09-17 |
simonpj@microsoft.com | Refactor type errors a bit |
blob | commitdiff | diff to current |
| 2010-09-13 |
simonpj@microsoft.com | Haddock fixes |
blob | commitdiff | diff to current |
| 2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
blob | commitdiff | diff to current |
| 2009-12-11 |
simonpj@microsoft.com | Fix spelling in comment |
blob | commitdiff | diff to current |
| 2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
blob | commitdiff | diff to current |
| 2009-09-10 |
simonpj@microsoft.com | Three improvements to Template Haskell (fixes #3467) |
blob | commitdiff | diff to current |
| 2009-07-23 |
simonpj@microsoft.com | Fix Trac #3193: improve line number reporting for equal... |
blob | commitdiff | diff to current |
| 2009-07-17 |
simonpj@microsoft.com | Fix Trac #3346: tcSimplify for LHS of RULES with type... |
blob | commitdiff | diff to current |
| 2009-07-07 |
Ian Lynagh | Remove unused imports |
blob | commitdiff | diff to current |
| 2009-07-01 |
Max Bolingbroke | Support for -fwarn-unused-do-bind and -fwarn-wrong... |
blob | commitdiff | diff to current |
| 2009-05-28 |
simonpj@microsoft.com | Fix Trac #3261: make default types play nice with ... |
blob | commitdiff | diff to current |
| 2009-05-28 |
simonpj@microsoft.com | Add a comment |
blob | commitdiff | diff to current |
| 2009-04-27 |
Manuel M T Chakravarty | Equality constraint solver is now externally pure |
blob | commitdiff | diff to current |
| 2009-03-03 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2009-02-11 |
simonpj@microsoft.com | Fix Trac #3017: ensure that we quantify over enough... |
blob | commitdiff | diff to current |
| 2009-01-30 |
simonpj@microsoft.com | Fix Trac #2985: generating superclasses and recursive... |
blob | commitdiff | diff to current |
| 2008-12-31 |
simonpj@microsoft.com | Improve error reporting for 'deriving' |
blob | commitdiff | diff to current |
| 2008-12-16 |
Simon Marlow | Rollback INLINE patches |
blob | commitdiff | diff to current |
| 2008-12-05 |
simonpj@microsoft.com | Completely new treatment of INLINE pragmas (big patch) |
blob | commitdiff | diff to current |
| 2008-10-30 |
simonpj@microsoft.com | Add (a) CoreM monad, (b) new Annotations feature |
blob | commitdiff | diff to current |
| 2008-10-21 |
simonpj@microsoft.com | Comments and parens only |
blob | commitdiff | diff to current |
| 2008-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equal... |
blob | commitdiff | diff to current |
| 2008-10-21 |
Manuel M T Chakravarty | FIX #2693 |
blob | commitdiff | diff to current |
| 2008-10-21 |
Manuel M T Chakravarty | FIX #2688 |
blob | commitdiff | diff to current |
| 2008-10-02 |
Manuel M T Chakravarty | Clean up some comments |
blob | commitdiff | diff to current |
| 2008-10-02 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | TFs: Fixed InstContextNorm (and simplification of IPs) |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | TcSimplify.reduceImplication: clean up |
blob | commitdiff | diff to current |
| 2008-10-01 |
Manuel M T Chakravarty | Make sure to zonk the kind of coercion variables |
blob | commitdiff | diff to current |
| 2008-09-18 |
simonpj@microsoft.com | Fix Trac #1470: improve handling of recursive instances... |
blob | commitdiff | diff to current |
| 2008-09-16 |
Manuel M T Chakravarty | Type families: bug fixes |
blob | commitdiff | diff to current |
| 2008-09-14 |
Manuel M T Chakravarty | Remember if RewriteInst is swapped & bug fixes |
blob | commitdiff | diff to current |
| 2008-09-14 |
Manuel M T Chakravarty | Type families: fixed all non-termination in the testsuite |
blob | commitdiff | diff to current |
| 2008-09-13 |
Manuel M T Chakravarty | Type families: completed the new equality solver |
blob | commitdiff | diff to current |
| 2008-08-11 |
simonpj@microsoft.com | Fix Trac #2494: tcSimplifyRuleLhs |
blob | commitdiff | diff to current |
| 2008-07-31 |
Max Bolingbroke | Split the Id related functions out from Var into Id... |
blob | commitdiff | diff to current |
| 2008-07-20 |
Thomas Schilling | Fix Haddock errors. |
blob | commitdiff | diff to current |
| 2008-06-16 |
Ian Lynagh | More commandline flag improvements |
blob | commitdiff | diff to current |
| 2008-06-06 |
Ian Lynagh | Fix warnings in TcSimplify |
blob | commitdiff | diff to current |
| 2008-06-05 |
simonpj@microsoft.com | Fix Trac #2045: use big-tuple machiney for implication... |
blob | commitdiff | diff to current |
| 2008-06-05 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
| 2008-06-03 |
Simon Marlow | add 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 Chakravarty | Remove GADT refinements, part 5 |
blob | commitdiff | diff to current |
| 2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
blob | commitdiff | diff to current |
| 2008-03-29 |
Ian Lynagh | DEBUG removal |
blob | commitdiff | diff to current |
| 2008-03-13 |
Manuel M T Chakravarty | Some cleanup in TcSimplify.reduceContext |
blob | commitdiff | diff to current |
| 2008-03-13 |
Manuel M T Chakravarty | Properly normalise reduced dicts |
blob | commitdiff | diff to current |
| 2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
blob | commitdiff | diff to current |
| 2008-02-28 |
Manuel M T Chakravarty | Remove GADT refinements, part 2 |
blob | commitdiff | diff to current |
| 2008-02-28 |
Manuel M T Chakravarty | Remove GADT refinements, part 1 |
blob | commitdiff | diff to current |
| 2008-02-28 |
Manuel M T Chakravarty | Eliminate SkolemOccurs skolems only after checkLoop... |
blob | commitdiff | diff to current |
| 2008-01-17 |
Twan van Laarhoven | Monadify typecheck/TcSimplify: use do, return and stand... |
blob | commitdiff | diff to current |
| 2008-01-07 |
simonpj@microsoft.com | Make the treatment of equalities more uniform |
blob | commitdiff | diff to current |
| 2007-12-07 |
Manuel M T Chakravarty | Properly keep track of whether normalising given or... |
blob | commitdiff | diff to current |
| 2007-11-28 |
simonpj@microsoft.com | Reorganise TcSimplify (again); FIX Trac #1919 |
blob | commitdiff | diff to current |
| 2007-11-22 |
Manuel M T Chakravarty | Properly ppr InstEqs in wanteds of implication constraints |
blob | commitdiff | diff to current |
| 2007-11-05 |
simonpj@microsoft.com | Inline implication constraints |
blob | commitdiff | diff to current |
| 2007-11-01 |
simonpj@microsoft.com | Rejig the error messages a bit; fixes a minor bug |
blob | commitdiff | diff to current |
| 2007-10-27 |
simonpj@microsoft.com | Make 'improvement' work properly in TcSimplify |
blob | commitdiff | diff to current |
| 2007-10-27 |
simonpj@microsoft.com | In an AbsBinds, the 'dicts' can include EqInsts |
blob | commitdiff | diff to current |
| 2007-10-19 |
Manuel M T Chakravarty | Zonk quantified tyvars with skolems |
blob | commitdiff | diff to current |
| 2007-10-18 |
Manuel M T Chakravarty | Don't barf on error message with non-tc tyvars |
blob | commitdiff | diff to current |
| 2007-10-12 |
simonpj@microsoft.com | Fix DoCon: Another try at getting extractResults right |
blob | commitdiff | diff to current |
| 2007-10-10 |
simonpj@microsoft.com | Add traceTc in tcSimplifyDefault |
blob | commitdiff | diff to current |
| 2007-10-10 |
simonpj@microsoft.com | FIX: tidy up TcSimplify following equality constraints... |
blob | commitdiff | diff to current |
| 2007-09-27 |
simonpj@microsoft.com | Comments and debug output only |
blob | commitdiff | diff to current |
| 2007-09-19 |
Manuel M T Chakravarty | FIX #1688: Givens in checkLoop are not that rigid after all |
blob | commitdiff | diff to current |
| 2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
blob | commitdiff | diff to current |
| 2007-09-11 |
simonpj@microsoft.com | Comments, and remove export of checkAmbiguity |
blob | commitdiff | diff to current |
| 2007-09-06 |
Manuel M T Chakravarty | Remove EqInsts from addSCs to avoid -DDEBUG warnings |
blob | commitdiff | diff to current |
| 2007-09-06 |
Manuel M T Chakravarty | EqInst related clean up |
blob | commitdiff | diff to current |
| 2007-09-06 |
Manuel M T Chakravarty | Remove dead code in TcSimplify |
blob | commitdiff | diff to current |
| 2007-09-06 |
Simon Marlow | FIX #1465, error messages could sometimes say things... |
blob | commitdiff | diff to current |
| 2007-09-05 |
simonpj@microsoft.com | Refactor, improve, and document the deriving mechanism |
blob | commitdiff | diff to current |
| 2007-09-04 |
Tom Schrijvers | fix of wanted equational class context |
blob | commitdiff | diff to current |
| 2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
blob | commitdiff | diff to current |
| 2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
blob | commitdiff | diff to current |
| 2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
blob | commitdiff | diff to current |
| 2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
blob | commitdiff | diff to current |
| 2007-08-02 |
simonpj@microsoft.com | Wibbble to last fix to generalisation (again!); fixes... |
blob | commitdiff | diff to current |
| next |
projects / ghc-hetmet.git / history