EqInst related clean up
[ghc-hetmet.git] / compiler / typecheck / TcUnify.lhs
2007-09-06 Manuel M T ChakravartyEqInst related clean up
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs
2007-09-04 Manuel M T ChakravartyFIX #1651: unBox types when deferring unification
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-07-03 simonpj@microsoft.comImprove formatting of errors, and fix a typo
2007-06-29 simonpj@microsoft.comRefine printing of names in unification mis-match
2007-06-29 simonpj@microsoft.comImprove name-printing on unification mis-matches, when...
2007-06-19 simonpj@microsoft.comComments only
2007-04-27 simonpj@microsoft.comFix egregious typo in TcUnify
2007-04-24 simonpj@microsoft.comFix bug in boxySplitTyConApp
2007-03-14 simonpj@microsoft.comImprove typechecker error messages; see Trac #1221
2007-02-19 simonpj@microsoft.comSignature type variables must not be instantiated with...
2007-02-06 simonpj@microsoft.comCheck for escape when unifying forall-types
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation
2006-12-11 simonpj@microsoft.comImprove origin of constraints in subsumption checking
2006-12-11 simonpj@microsoft.comSuggests -fglasgow-exts for contexts-differ-in-length...
2006-11-10 Samuel BronsonZap stray whitespace in lhs formatting
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-11-01 simonpj@microsoft.comTrim imports
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-03 simonpj@microsoft.comFix scoped type variables for expression type signatures
2006-09-29 simonpj@microsoft.comAdd missing case for EqPred
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-29 simonpj@microsoft.comImprove unification error messages (again) (push to...
2006-09-23 simonpj@microsoft.comTrim more imports
2006-09-23 simonpj@microsoft.comAdd TcRnMonad.newSysLocalIds, and use it
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge) After_FC_branch_merge
2006-09-20 Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-18 simonpj@microsoft.comFix a bug in subsumption, and tweak error messages
2006-09-18 simonpj@microsoft.comComments only
2006-09-06 simonpj@microsoft.comPattern-match warning police
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments
2006-08-11 simonpj@microsoft.comImprove error message layouts
2006-08-08 simonpj@microsoft.comMore fixes to pre-matching and pre-subsumption
2006-08-08 simonpj@microsoft.comFix pre-subsumption and pre-matching
2006-08-08 simonpj@microsoft.comImprove error message
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting...
2006-06-23 Simon Marlowthe unlifted kind
2006-05-05 simonpj@microsoft.comPreserve type variable names during type inference
2006-04-07 Simon MarlowReorganisation of the source tree