Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-generics
[ghc.git] / compiler / typecheck / TcTyClsDecls.lhs
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-10  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-09  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-05  Simon Peyton JonesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-05  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Jose Pedro MagalhaesRemove HsNumTy and TypePati.
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-02  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-02  Jose Pedro MagalhaesRemove the hasGenerics field of TyCon, improve the...
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-27  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-04-20  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-generics
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesMore small fixes to generics branch (doesn't compile...
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-04-14  unknownSmall fixes to the generics branch to get rid of warnings,
2011-04-13  unknownMerge branch 'master' of c:/code/HEAD-git/. into ghc...
2011-04-12  simonpjInitial commit for Pedro's new generic default methods
2011-01-10  simonpj@microsoft.comDo dependency analysis when kind-checking type declarations
2010-12-18  Ian LynaghImplement GADTSyntax extension
2010-09-18  Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-14  simonpj@microsoft.comMove error-ids to MkCore (from PrelRules)
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-07-15  illissius@gmail.comFix #4195 (isGadtSyntaxTyCon returns opposite result)
2010-07-13  simonpj@microsoft.comRefactor where an error message is generated
2010-07-07  simonpj@microsoft.comFix Trac #4127 (and hence #4173)
2010-05-06  simonpj@microsoft.comFix Trac #3966: warn about useless UNPACK pragmas
2010-04-09  simonpj@microsoft.comFix Trac #3966: warn about unused UNPACK pragmas
2010-02-10  simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus...
2010-01-20  simonpj@microsoft.comFix Trac #3823, plus warning police in TcRnDriver
2009-07-24  Ian LynaghRemove GHC's haskell98 dependency
2009-07-23  simonpj@microsoft.comAdd tuple sections as a new feature
2009-07-22  simonpj@microsoft.comTake account of GADTs when reporting patterm-match...
2009-07-16  Simon MarlowUse names like '$fOrdInt' for dfuns (and TF instances...
2009-07-06  simonpj@microsoft.comTrim unused imports detected by new unused-import code
2009-07-02  Manuel M T ChakravartyType synonym families may be nullary
2009-07-02  simonpj@microsoft.comNew syntax for GADT-style record declarations, and...
2009-06-25  simonpj@microsoft.comFix Trac #3323: naughty record selectors again
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...
next