Big tidy-up of deriving code
[ghc-hetmet.git] / compiler / typecheck / TcSimplify.lhs
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code
2006-12-12 simonpj@microsoft.comFix up yesterdays commit to TcSimplify; fixes broken...
2006-12-11 simonpj@microsoft.comAdd comments about pruning implication constraints
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification
2006-12-01 simonpj@microsoft.comq
2006-11-24 simonpj@microsoft.comImprove handling of implicit parameters
2006-11-24 simonpj@microsoft.comGather constraints in program order
2006-11-23 simonpj@microsoft.comSimplify TcSimplify, by removing Free
2006-11-22 simonpj@microsoft.comRetain simplifications of implication constraints
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-11-01 simonpj@microsoft.comDefault the kind of unconstrained meta-type variables...
2006-11-01 simonpj@microsoft.comFix error reporting for contexts during deriving (Trac...
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build
2006-09-20 bjorn@bringert.netMerged stand-alone deriving with FC stuff.
2006-09-19 bjorn@bringert.netFixed source location and instance origin in stand...
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-07-26 simonpj@microsoft.comA somewhat subtle (FC-related) bug concerning the monom...
2006-09-18 simonpj@microsoft.comComments
2006-08-11 simonpj@microsoft.comTwo more error message indendations
2006-08-07 simonpj@microsoft.comAdd -fextended-default-rules and -fmono-pat-binds
2006-07-27 simonpj@microsoft.comMake -fcontext-stack into a dynamic flag
2006-06-26 simonpj@microsoft.comImprove consistency checking for derived instances
2006-05-19 simonpj@microsoft.comImproved RULE lhs typechecking; less dictionary sharing
2006-04-07 Simon MarlowReorganisation of the source tree