2009-07-17 |
simonpj@microsoft.com | Fix Trac #3346: tcSimplify for LHS of RULES with type... |
blob | commitdiff |
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 |
2007-08-01 |
simonpj@microsoft.com | Small error-message change |
blob | commitdiff | diff to current |
2007-08-01 |
simonpj@microsoft.com | Fix generalisation during type inference (again); fixes... |
blob | commitdiff | diff to current |
2007-07-05 |
simonpj@microsoft.com | Tidy up IsIrred (no need for argument any more) |
blob | commitdiff | diff to current |
2007-07-04 |
simonpj@microsoft.com | Fix Trace #1494 |
blob | commitdiff | diff to current |
2007-06-29 |
simonpj@microsoft.com | Many comments about oclose, plus a fix for Trac #1456 |
blob | commitdiff | diff to current |
2007-06-29 |
simonpj@microsoft.com | Improve error message (Trac #1446) |
blob | commitdiff | diff to current |
2007-06-20 |
simonpj@microsoft.com | Improve the handling of deriving, in error cases |
blob | commitdiff | diff to current |
2007-06-20 |
simonpj@microsoft.com | More refactoring in TcSimplify |
blob | commitdiff | diff to current |
2007-06-19 |
simonpj@microsoft.com | Fix a bug in the handling of implication constraints... |
blob | commitdiff | diff to current |
2007-06-06 |
simonpj@microsoft.com | Don't suggest -fno-monomorphism-restriction if it's... |
blob | commitdiff | diff to current |
2007-05-30 |
simonpj@microsoft.com | Fix bug in tcSimplifyInfer (Trac #1382) |
blob | commitdiff | diff to current |
2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
blob | commitdiff | diff to current |
2007-05-09 |
simonpj@microsoft.com | Tidy up the interface to lookupInstEnv |
blob | commitdiff | diff to current |
2007-05-07 |
simonpj@microsoft.com | FIX Trac #1329: spelling error |
blob | commitdiff | diff to current |
2007-04-26 |
Simon Marlow | Give a better error message when we try to print a... |
blob | commitdiff | diff to current |
2007-04-25 |
simonpj@microsoft.com | Add -fwarn-monomorphism-restriction (on by default... |
blob | commitdiff | diff to current |
2007-03-19 |
simonpj@microsoft.com | Use explict layout (fixes breakage when compiling TcSim... |
blob | commitdiff | diff to current |
2007-03-15 |
simonpj@microsoft.com | Make the type-defaulting in GHCi use () as the first... |
blob | commitdiff | diff to current |
2007-02-21 |
simonpj@microsoft.com | Fix a deriving bug, arising from recent refactoring |
blob | commitdiff | diff to current |
2007-02-21 |
simonpj@microsoft.com | Fix defaulting for overloaded strings |
blob | commitdiff | diff to current |
2007-02-19 |
simonpj@microsoft.com | Signature type variables must not be instantiated with... |
blob | commitdiff | diff to current |
2007-02-02 |
simonpj@microsoft.com | Comments only |
blob | commitdiff | diff to current |
2007-01-31 |
simonpj@microsoft.com | Slight refactoring for overloaded strings |
blob | commitdiff | diff to current |
2006-12-21 |
lennart@augustsson.net | Add support for overloaded string literals. |
blob | commitdiff | diff to current |
2007-01-09 |
simonpj@microsoft.com | Fix egregious bug in implication constraints |
blob | commitdiff | diff to current |
2007-01-03 |
simonpj@microsoft.com | Better error messages for deriving |
blob | commitdiff | diff to current |
next |