Several fixes to 'deriving' including Trac #2378
[ghc-hetmet.git] / compiler / typecheck / TcClassDcl.lhs
2008-07-01 simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378
2008-06-16 Ian LynaghMore commandline flag improvements
2008-06-06 Ian LynaghFix warnings in TcClassDcl
2008-06-06 Ian LynaghFix a bug in eqPatType
2008-05-21 simonpj@microsoft.comFix Trac #1061: refactor handling of default methods
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcClassDcl
2008-01-17 Twan van LaarhovenReplace ioToTcRn with liftIO
2008-01-17 Twan van LaarhovenMonadify typecheck/TcClassDcl: use do, return and stand...
2008-01-17 Twan van LaarhovenseqMaybe is more commonly known as mplus
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-19 Manuel M T ChakravartyCheck for correct number of parameters in type instances
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "" inste...
2007-01-05 Manuel M T ChakravartyHsSyn clean up for indexed types
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-11 Simon MarlowModule header tidyup, phase 1
2006-09-25 simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch)
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-06-12 simonpj@microsoft.comMake scoped type variables work for default methods
2006-04-07 Simon MarlowReorganisation of the source tree