2008-08-11 |
simonpj@microsoft.com | Fix Trac #2494: tcSimplifyRuleLhs |
blob | commitdiff |
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 |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
blob | commitdiff | diff to current |
2006-12-12 |
simonpj@microsoft.com | Fix up yesterdays commit to TcSimplify; fixes broken... |
blob | commitdiff | diff to current |
2006-12-11 |
simonpj@microsoft.com | Add comments about pruning implication constraints |
blob | commitdiff | diff to current |
2006-12-11 |
simonpj@microsoft.com | More refactoring of constraint simplification |
blob | commitdiff | diff to current |
2006-12-01 |
simonpj@microsoft.com | q |
blob | commitdiff | diff to current |
2006-11-24 |
simonpj@microsoft.com | Improve handling of implicit parameters |
blob | commitdiff | diff to current |
2006-11-24 |
simonpj@microsoft.com | Gather constraints in program order |
blob | commitdiff | diff to current |
2006-11-23 |
simonpj@microsoft.com | Simplify TcSimplify, by removing Free |
blob | commitdiff | diff to current |
2006-11-22 |
simonpj@microsoft.com | Retain simplifications of implication constraints |
blob | commitdiff | diff to current |
2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Default the kind of unconstrained meta-type variables... |
blob | commitdiff | diff to current |
2006-11-01 |
simonpj@microsoft.com | Fix error reporting for contexts during deriving (Trac... |
blob | commitdiff | diff to current |
2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
blob | commitdiff | diff to current |
2006-09-20 |
bjorn@bringert.net | Merged stand-alone deriving with FC stuff. |
blob | commitdiff | diff to current |
2006-09-19 |
bjorn@bringert.net | Fixed source location and instance origin in stand... |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
blob | commitdiff | diff to current |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
blob | commitdiff | diff to current |
2006-09-23 |
simonpj@microsoft.com | Add VarSet.disjointVarSet, and use it |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | some bug-fixes, newtype deriving might work now |
blob | commitdiff | diff to current |
2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
blob | commitdiff | diff to current |
2006-07-26 |
simonpj@microsoft.com | A somewhat subtle (FC-related) bug concerning the monom... |
blob | commitdiff | diff to current |
2006-09-18 |
simonpj@microsoft.com | Comments |
blob | commitdiff | diff to current |
2006-08-11 |
simonpj@microsoft.com | Two more error message indendations |
blob | commitdiff | diff to current |
2006-08-07 |
simonpj@microsoft.com | Add -fextended-default-rules and -fmono-pat-binds |
blob | commitdiff | diff to current |
2006-07-27 |
simonpj@microsoft.com | Make -fcontext-stack into a dynamic flag |
blob | commitdiff | diff to current |
2006-06-26 |
simonpj@microsoft.com | Improve consistency checking for derived instances |
blob | commitdiff | diff to current |
next |