Add Note [Generating the in-scope set for a substitution]
[ghc.git] / compiler / types / Type.lhs
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-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-03-29  Ian LynaghRemove more #ifdef DEBUGs
2008-03-15  Ian LynaghRemove leftover NoteTy/FTVNote bits
2008-03-15  Ian LynaghRemove uses of addFreeTyVars
2008-02-02  Ian LynaghWhitespace only
2008-01-26  Twan van LaarhovenFixed warnings in types/Type, except for incomplete...
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-10-02  Manuel M T ChakravartyFIX: mkWWcpr takes open alg types into account
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  Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs
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-07-02  Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB
2007-05-02  simonpj@microsoft.comMake records work properly with type families
2007-05-02  simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead
2007-04-25  simonpj@microsoft.comFix misleading debug trace
2007-04-24  Pepe IborraWhen a type is refined after :print, propagate the...
2007-04-02  simonpj@microsoft.comMake type-tidying work for coercion variables
2007-01-11  simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
2007-01-04  Manuel M T ChakravartyFix and improve deriving for indexed data types
2007-01-02  simonpj@microsoft.comBig tidy-up of deriving code
2006-12-18  Manuel M T ChakravartyDeriving for indexed data types
2006-12-10  Pepe IborraClosure inspection in GHCi
2006-11-10  simonpj@microsoft.comCosmetics and debug printing only
2006-11-06  simonpj@microsoft.comTidy up substitutions
2006-11-01  simonpj@microsoft.comRemove unused import
2006-10-13  simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-06  simonpj@microsoft.comImport trimming
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.comTrim imports, and remove some dead code
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 ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20  Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
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-08-04  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-18  simonpj@microsoft.comBetter pretty-printing for TvSubst
2006-04-07  Simon MarlowReorganisation of the source tree