Properly ppr InstEqs in wanteds of implication constraints
[ghc-hetmet.git] / compiler / typecheck / TcSimplify.lhs
2007-11-22 Manuel M T ChakravartyProperly ppr InstEqs in wanteds of implication constraints
2007-11-05 simonpj@microsoft.comInline implication constraints
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug
2007-10-27 simonpj@microsoft.comMake 'improvement' work properly in TcSimplify
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems
2007-10-18 Manuel M T ChakravartyDon't barf on error message with non-tc tyvars
2007-10-12 simonpj@microsoft.comFix DoCon: Another try at getting extractResults right
2007-10-10 simonpj@microsoft.comAdd traceTc in tcSimplifyDefault
2007-10-10 simonpj@microsoft.comFIX: tidy up TcSimplify following equality constraints...
2007-09-27 simonpj@microsoft.comComments and debug output only
2007-09-19 Manuel M T ChakravartyFIX #1688: Givens in checkLoop are not that rigid after all
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules
2007-09-11 simonpj@microsoft.comComments, and remove export of checkAmbiguity
2007-09-06 Manuel M T ChakravartyRemove EqInsts from addSCs to avoid -DDEBUG warnings
2007-09-06 Manuel M T ChakravartyEqInst related clean up
2007-09-06 Manuel M T ChakravartyRemove dead code in TcSimplify
2007-09-06 Simon MarlowFIX #1465, error messages could sometimes say things...
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism
2007-09-04 Tom Schrijversfix of wanted equational class context
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-08-28 Manuel M T ChakravartyType checking for type synonym families
2007-08-02 simonpj@microsoft.comWibbble to last fix to generalisation (again!); fixes...
2007-08-01 simonpj@microsoft.comSmall error-message change
2007-08-01 simonpj@microsoft.comFix generalisation during type inference (again); fixes...
2007-07-05 simonpj@microsoft.comTidy up IsIrred (no need for argument any more)
2007-07-04 simonpj@microsoft.comFix Trace #1494
2007-06-29 simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456
2007-06-29 simonpj@microsoft.comImprove error message (Trac #1446)
2007-06-20 simonpj@microsoft.comImprove the handling of deriving, in error cases
2007-06-20 simonpj@microsoft.comMore refactoring in TcSimplify
2007-06-19 simonpj@microsoft.comFix a bug in the handling of implication constraints...
2007-06-06 simonpj@microsoft.comDon't suggest -fno-monomorphism-restriction if it's...
2007-05-30 simonpj@microsoft.comFix bug in tcSimplifyInfer (Trac #1382)
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv
2007-05-07 simonpj@microsoft.comFIX Trac #1329: spelling error
2007-04-26 Simon MarlowGive a better error message when we try to print a...
2007-04-25 simonpj@microsoft.comAdd -fwarn-monomorphism-restriction (on by default...
2007-03-19 simonpj@microsoft.comUse explict layout (fixes breakage when compiling TcSim...
2007-03-15 simonpj@microsoft.comMake the type-defaulting in GHCi use () as the first...
2007-02-21 simonpj@microsoft.comFix a deriving bug, arising from recent refactoring
2007-02-21 simonpj@microsoft.comFix defaulting for overloaded strings
2007-02-19 simonpj@microsoft.comSignature type variables must not be instantiated with...
2007-02-02 simonpj@microsoft.comComments only
2007-01-31 simonpj@microsoft.comSlight refactoring for overloaded strings
2006-12-21 lennart@augustsson.netAdd support for overloaded string literals.
2007-01-09 simonpj@microsoft.comFix egregious bug in implication constraints
2007-01-03 simonpj@microsoft.comBetter error messages for deriving
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