Add first cut of the validate script
[ghc.git] / compiler / types /
2007-06-29  simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456
2007-06-29  Manuel M T ChakravartyOverlap check for type families
2007-06-28  simonpj@microsoft.comImprove error message when there is instance overlap
2007-06-25  simonpj@microsoft.comPrint infix type constructors in an infix way
2007-05-23  simonpj@microsoft.comImprove the interaction of 'seq' and associated data...
2007-05-23  simonpj@microsoft.comWhite-space only
2007-05-11  Tom Schrijverstype family normalisation
2007-05-19  Pepe IborraRewrite the unsafe code dealing with unboxed primitives...
2007-05-14  Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv
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-09  simonpj@microsoft.comTidy up the interface to lookupInstEnv
2007-05-04  simonpj@microsoft.comFix the pruning of dead case alternatives
2007-05-04  simonpj@microsoft.comisDataTyCon should be False for all type families,...
2007-05-02  simonpj@microsoft.comMake records work properly with type families
2007-05-02  simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead
2007-05-02  simonpj@microsoft.comFixes to data type families
2007-04-25  simonpj@microsoft.comFix misleading debug trace
2007-04-24  Pepe IborraWhen a type is refined after :print, propagate the...
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-04-02  simonpj@microsoft.comMake type-tidying work for coercion variables
2007-03-21  simonpj@microsoft.comRemove redundant exports from a hs-boot file
2007-02-23  Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs...
2007-02-21  simonpj@microsoft.comDeal more correctly with orphan instances
2007-02-21  simonpj@microsoft.comRemove dead code from FunDeps
2007-02-05  simonpj@microsoft.comImprove simplification of coercions
2007-02-02  simonpj@microsoft.comFix a pair of classic, but tricky, bugs in the type...
2007-01-11  simonpj@microsoft.comAdd comments about invariants
2007-01-11  simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
2007-01-11  simonpj@microsoft.comFix a nasty recursive loop in typechecking interface...
2007-01-10  Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account
2007-01-04  Manuel M T ChakravartyFix and improve deriving for indexed data types
2007-01-03  simonpj@microsoft.comAdd a type synonym for FamInstEnvs
2007-01-03  simonpj@microsoft.comComments only
2007-01-02  simonpj@microsoft.comBig tidy-up of deriving code
2006-12-29  Manuel M T ChakravartyEqPred pretty prints as ~ and equalities without brackets
2006-12-18  Manuel M T ChakravartyDeriving for indexed data types
2006-12-10  Pepe IborraClosure inspection in GHCi
2006-11-24  simonpj@microsoft.comImprove handling of implicit parameters
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
2006-11-10  simonpj@microsoft.comCosmetics and debug printing only
2006-11-06  simonpj@microsoft.comTidy up substitutions
2006-11-01  simonpj@microsoft.comComments and layout only
2006-11-01  simonpj@microsoft.comRemove unused import
2006-10-19  Manuel M T ChakravartyFix family instance bug due to the name parent elimination
2006-10-19  Ian LynaghFix stage1 build with 6.2.1 (from Andy Gill)
2006-10-18  simonpj@microsoft.comAdd the primitive type Any, and use it for Dynamics
2006-10-18  simonpj@microsoft.comAdd comment about arity
2006-10-13  simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
2006-10-12  Manuel M T ChakravartyOverlap check for family instances def'd in current...
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-11  Simon MarlowInterface file optimisation and removal of nameParent
2006-10-10  Manuel M T ChakravartyRough matches for family instances
2006-10-09  Ian LynaghUpdate hi-boot files to fix building with old GHCs
2006-10-06  simonpj@microsoft.comComments and an import-trim
2006-10-06  simonpj@microsoft.comImport trimming
2006-09-29  simonpj@microsoft.comSimplify the way in which the coKindFun in CoercionTyCo...
2006-09-29  simonpj@microsoft.comSpelling correction
2006-09-14  Andres Loehfix typo in comment
2006-09-23  simonpj@microsoft.comThe unboxed tuple kind is (#), not (##)
2006-09-23  simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred
2006-09-23  simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)!
2006-09-23  simonpj@microsoft.comRe-work the newtype-deriving support
2006-09-23  simonpj@microsoft.comRemove dead code concerning coercions from TypeRep
2006-09-23  simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
2006-09-23  simonpj@microsoft.comTrim imports, and remove some dead code
2006-09-21  audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
2006-09-20  Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
2006-09-20  Manuel M T ChakravartyFix type checking of imported data instances
2006-09-20  Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20  Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20  Manuel M T ChakravartyIndexed newtypes
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 ChakravartyFixed bug in coercion for indexed data types
2006-09-20  Manuel M T ChakravartyPattern matching of indexed data types
2006-09-20  Manuel M T ChakravartyIntroduce coercions for data instance decls
2006-09-20  Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
2006-09-20  Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs
2006-09-20  Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20  Manuel M T ChakravartyComments only
2006-09-20  Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of...
2006-09-20  Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments
2006-09-20  Manuel M T ChakravartyMake sym coercion smart constructor smarter, add comments
2006-09-20  Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
2006-09-20  Manuel M T ChakravartyComments only
2006-09-20  Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables
2006-09-20  Manuel M T Chakravartyfix some coercion kind representation things, extend...
2006-09-20  Manuel M T Chakravartytowards unboxing through newtypes
2006-09-20  Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20  Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-18  Manuel M T ChakravartyRemove argument variance info of tycons
2006-09-18  Manuel M T ChakravartyPartial changes for derived newtype instances
2006-08-07  Manuel M T ChakravartyComments only
2006-08-07  Manuel M T ChakravartyCorrect grevious bug in mkSymCoercion
2006-08-06  Manuel M T ChakravartyRemove Control-M from Coercion.hs
2006-08-06  Manuel M T ChakravartyAdd Coercion.lhs
2006-08-06  Manuel M T ChakravartyComments and tidy-up
next