Print infix function definitions correctly in HsSyn
[ghc-hetmet.git] / compiler / typecheck / TcBinds.lhs
2007-08-22 simonpj@microsoft.comPrint infix function definitions correctly in HsSyn
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec
2007-04-25 simonpj@microsoft.comGive the inferred type when warning of a missing type...
2007-04-22 simonpj@microsoft.comFix corner case of useless constraint in SPECIALISE...
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification
2006-11-10 Samuel BronsonZap stray whitespace in lhs formatting
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-24 andy@galois.comHaskell Program Coverage
2006-10-11 simonpj@microsoft.comMake Inst into a record type to ease subsequent changes
2006-10-11 Simon MarlowModule header tidyup, phase 1
2006-10-03 simonpj@microsoft.comFix scoped type variables for expression type signatures
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
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.comEnsure that only zonked poly_ids are passed to tcSpecPrag
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments
2006-09-05 simonpj@microsoft.comFix dependency analysis (notably bindInstsOfLocalFuns...
2006-08-11 simonpj@microsoft.comComplete -fmono-pat-binds patch
2006-08-11 simonpj@microsoft.comImprove error message layouts
2006-07-22 simonpj@microsoft.comAdd -fmono-pat-binds, and make it the default
2006-06-21 simonpj@microsoft.comComment only
2006-06-12 simonpj@microsoft.comMake scoped type variables work for default methods
2006-04-14 simonpj@microsoft.comComments only
2006-04-07 Simon MarlowReorganisation of the source tree