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 |
2006-05-19 |
simonpj@microsoft.com | Improved RULE lhs typechecking; less dictionary sharing |
blob | commitdiff | diff to current |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
blob | commitdiff | diff to current |
|