Super-monster patch implementing the new typechecker -- at last
[ghc-hetmet.git] / compiler / typecheck / TcArrows.lhs
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-07-30 simonpj@microsoft.comDe-polymorphise
2010-08-22 Ross Patersonfix extraction of command stack of arguments of arrow...
2009-07-06 simonpj@microsoft.comTrim unused imports detected by new unused-import code
2008-10-30 simonpj@microsoft.comImprove error reporting for non-rigid GADT matches
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations...
2008-06-04 simonpj@microsoft.comFix Trac #2310: result type signatures are not supporte...
2008-05-06 Ian LynaghMake TcArrows warning-free
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcArrows
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-28 Manuel M T ChakravartyRemove GADT refinements, part 1
2008-02-26 simonpj@microsoft.comRemove gaw comment
2008-01-17 Twan van LaarhovenMonadify typecheck/TcArrows: use do and return
2007-11-14 simonpj@microsoft.comFIX Trac 1662: actually check for existentials in proc...
2007-10-10 Dan LicataView patterns, record wildcards, and record puns
2007-09-28 Manuel M T ChakravartyFIX: Make boxy splitters aware of type families
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...
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-11 Simon MarlowModule header tidyup, phase 1
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-04-07 Simon MarlowReorganisation of the source tree