Make rebindable do-notation behave as advertised
[ghc-hetmet.git] / compiler / typecheck / TcBinds.lhs
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised
2007-11-06 simonpj@microsoft.comFix Trac #1813: generalise over *all* type variables...
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts
2007-09-06 simonpj@microsoft.comFix zonking in mkExports
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-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