FIX #2185: sparks should not be treated as roots by the GC
[ghc.git] / compiler / types /
2008-05-28  Simon MarlowUse MD5 checksums for recompilation checking (fixes...
2008-04-22  Ian LynaghChange the last few (F)SLIT's into (f)sLit's
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in Generics
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in FunDeps
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in FamInstEnv
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in InstEnv
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in Coercion
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in Type
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in TypeRep
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in Class
2008-04-22  simonpj@microsoft.comRefactor the TyVarTy case of 'match'. No change in...
2008-04-22  simonpj@microsoft.comAdd Note [Generating the in-scope set for a substitution]
2008-04-21  pepeFix #2044 (:printing impredicatively typed things)
2008-04-07  Manuel M T ChakravartyRemove GADT refinements, part 5
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-03-29  Ian LynaghRemove more #ifdef DEBUGs
2008-03-25  Tim ChevalierChange syntax for newtypes in External Core
2008-03-15  Ian LynaghRemove leftover NoteTy/FTVNote bits
2008-03-15  Ian LynaghRemove uses of addFreeTyVars
2008-02-29  Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-03  Twan van LaarhovenFixed warnings in types/Unify
2008-02-06  Roman LeshchinskiyTeach cheapEqExpr about casts
2008-02-04  Simon MarlowSupport for using libffi to implement FFI calls in...
2008-02-02  Ian LynaghWhitespace only
2008-01-28  simonpj@microsoft.comFix typo where I forgot the new substitution
2008-01-26  Twan van LaarhovenFixed warnings in types/InstEnv
2008-01-26  Twan van LaarhovenFixed warnings in types/FamInstEnv
2008-01-26  Twan van LaarhovenFixed warnings in types/Generics
2008-01-26  Twan van LaarhovenFixed warnings in types/TyCon
2008-01-26  Twan van LaarhovenFixed warnings in types/Type, except for incomplete...
2008-01-26  Twan van LaarhovenFixed warnings in types/TypeRep
2008-01-26  Twan van LaarhovenFixed warnings in types/FunDeps
2008-01-26  Twan van LaarhovenFixed warnings in types/Coercion, except for incomplete...
2008-01-25  Twan van LaarhovenFixed warnings in types/Class
2008-01-16  simonpj@microsoft.comThe Core type-matcher should look through PredTypes
2008-01-07  simonpj@microsoft.comMake the treatment of equalities more uniform
2007-12-21  simonpj@microsoft.comImprove handling of newtypes (fixes Trac 1495)
2007-11-13  Pepe IborraFix Trac 1865: GHCi debugger crashes with :print
2007-11-05  simonpj@microsoft.comComment warning about transparent newtypes
2007-10-16  simonpj@microsoft.comEliminate over-zealous warning in CoreToStg
2007-10-03  Manuel M T ChakravartyTcTyFuns.eqInstToRewrite
2007-09-29  simonpj@microsoft.comFix Trac #1746: make rule-matching work properly with...
2007-09-29  simonpj@microsoft.comSmall comment only
2007-10-02  Manuel M T ChakravartyFIX: mkWWcpr takes open alg types into account
2007-09-29  Manuel M T ChakravartySome more traceTcs
2007-09-19  Manuel M T ChakravartyFIX #1713: watch out for type families in splitAppTy...
2007-09-15  Manuel M T ChakravartyOverhaul of the rewrite rules
2007-09-11  simonpj@microsoft.comMinor refactoring: give an explicit name to the pretty...
2007-09-10  Simon MarlowFIX #903: mkWWcpr: not a product
2007-09-10  Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs
2007-09-07  Manuel M T ChakravartyImproved error messages for higher-rank equality contexts
2007-09-07  simonpj@microsoft.comTiny optimisation/simplification to FunDeps.grow
2007-09-05  simonpj@microsoft.comRefactor, improve, and document the deriving mechanism
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-09  simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix...
2007-08-03  simonpj@microsoft.comRemove dead code
2007-08-04  simonpj@microsoft.comAdd missing case to sizeofPrimRep
2007-07-06  simonpj@microsoft.comClarify comments
2007-07-02  Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB
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