Improve error reporting for kind errors (fix Trac #1633)
[ghc-hetmet.git] / compiler / typecheck / TcTyClsDecls.lhs
2009-05-13 simonpj@microsoft.comImprove error reporting for kind errors (fix Trac ...
2009-04-23 simonpj@microsoft.comSimplify the placeholder binding for naughty record...
2009-03-30 simonpj@microsoft.comAdd an extra print to -ddump-tc-trace
2009-03-16 simonpj@microsoft.comFix Trac #3092
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
2009-02-04 simonpj@microsoft.comCheck -XGADTs in (a) type family decls (b) pattern...
2009-02-04 simonpj@microsoft.comImprove error reports for kind checking (Trac #2994)
2009-01-14 Ian LynaghRemove redundant import; spotted by Thorkil Naur
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ...
2008-11-08 Ian LynaghRemove some dead code now that __GLASGOW_HASKELL__...
2008-10-21 Ian LynaghFix doc syntax
2008-09-23 simonpj@microsoft.comAllow type families to use GADT syntax (and be GADTs)
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-08-27 simonpj@microsoft.comFix Trac #745: improve error recoevery for type signatures
2008-08-11 simonpj@microsoft.comFix Trac #2412: type synonyms and hs-boot recursion
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id...
2008-07-14 Manuel M T ChakravartyFix check of rhs of type family instances (#2157)
2008-06-23 Ian LynaghFix the build with GHC 6.4
2008-06-06 Ian LynaghFix warnings in TcTyClsDecls
2008-06-06 simonpj@microsoft.comFix Trac #2334: validity checking for type families
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcTyClsDecls
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-03-06 simonpj@microsoft.comDon't expose the unfolding of dictionary selectors...
2008-02-27 simonpj@microsoft.comFix Trac #2126: re-order tests (easy)
2008-02-22 simonpj@microsoft.comImprove error messages from type-checking data constructors
2008-01-17 Twan van LaarhovenMonadify typecheck/TcTyClsDecls: use return and standar...
2008-01-07 simonpj@microsoft.comAdd -XImpredicativeTypes, and tighten up type-validity...
2007-11-16 simonpj@microsoft.comWibble to fix Trac #1901 (shorten messsage slightly)
2007-11-16 simonpj@microsoft.comFIX Trac #1901: check no existential context in H98...
2007-11-02 simonpj@microsoft.comRefactor error recovery slightly
2007-10-10 Manuel M T ChakravartySlightly improved comments in TcTyClsDecls
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-30 Manuel M T ChakravartyAdded decidability check for type instances
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-08-19 Manuel M T ChakravartyATs inherit kind annotations from class partameters
2007-08-04 Ian LynaghCanonicalise flags in error message
2007-07-09 Ian LynaghAdd flag -XConstrainedClassMethods
2007-07-09 Ian LynaghJust alpha-rename a variable
2007-07-09 Ian LynaghRemove unused binding
2007-07-08 Ian LynaghImplement -XFunctionalDependencies
2007-07-08 Ian LynaghAdd -XMultiParamTypeClasses flag
2007-07-08 Ian LynaghImplement -XKindSignatures
2007-07-08 Ian LynaghAdd -XEmptyDataDecls flag
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB
2007-06-29 Manuel M T ChakravartyChecking that type indexes contain no synonym family...
2007-06-29 Manuel M T ChakravartyRHS of a type instance must be a tau type
2007-06-27 Manuel M T ChakravartyFix names of coercions in newtype instances
2007-06-21 LemmihAdd several new record features
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec
2007-05-30 simonpj@microsoft.comFix bogus check for strictness in newtypes
2007-05-30 simonpj@microsoft.comReject newtypes with strictness annotations; fixes...
2007-05-14 Manuel M T Chakravarty-findexed-types -> -ftype-families
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-05-04 Ian LynaghPanic properly if wrongKindOfFamily is given an unexpec...
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "" inste...
2007-02-23 simonpj@microsoft.comTidy up typechecking for newtypes
2007-02-23 Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs...
2007-02-21 simonpj@microsoft.comAllow GADT syntax for newtypes
2007-01-05 Manuel M T ChakravartyHsSyn clean up for indexed types
2007-01-03 simonpj@microsoft.comBe more relaxed about reporting ambiguous class methods
2006-10-22 Manuel M T ChakravartyImprove error messages for indexed types
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-06 simonpj@microsoft.comFix up the typechecking of interface files during ...
2006-10-05 davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big...
2006-10-04 simonpj@microsoft.comImprove unboxing of strict fields
2006-10-04 simonpj@microsoft.comTidy tyvar OccNames in TcTyClDecl
2006-09-20 Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
2006-09-20 Manuel M T ChakravartyBasic set up for global family instance environment
2006-09-20 Manuel M T ChakravartyUse smart lookup for tycons
2006-09-20 Manuel M T ChakravartyOption -findexed-types
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20 Manuel M T ChakravartyATs are now implicitTyThings
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20 Manuel M T ChakravartyFixed two bugs concerning fanilies
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil...
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls
2006-09-20 Manuel M T ChakravartyFixed two data family bugs
2006-09-20 Manuel M T ChakravartyFix the tyvars used for data con signatures
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
2006-09-20 Manuel M T ChakravartyMake sure ATs are included into the temporary env for...
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs
2006-09-20 Manuel M T ChakravartyFix kind lookup in kcIdxTyPats
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons
2006-09-18 Manuel M T ChakravartyDon't lift ATs out of classes and instances before tc
2006-09-15 Manuel M T ChakravartyMigrate cvs diff from fptools-assoc branch
2006-09-12 audreyt@audreyt.orgTake away XXXs in GADT records related code that are...