The final batch of changes for the new coercion representation
[ghc-hetmet.git] / compiler / types / Type.lhs
2011-05-12 Simon Peyton JonesThe final batch of changes for the new coercion represe...
2011-05-06 Simon Peyton JonesRemove special case for EqPred in CoreView
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-03-31 simonpj@microsoft.comNew statistics flags -ddump-core-stats
2010-10-19 simonpj@microsoft.comClean up the debugger code
2010-09-16 simonpj@microsoft.comFix bad error in tyVarsOfType
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-09-02 simonpj@microsoft.comAssert
2010-08-13 simonpj@microsoft.comRe-do the arity calculation mechanism again (fix Trac...
2010-03-04 simonpj@microsoft.comMake `mkFunTy` associate to the right, as it should
2009-12-24 simonpj@microsoft.comRefactor CoreArity a bit
2009-12-22 simonpj@microsoft.comMove isDictTy from TcType to Type
2010-01-04 simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-12-16 simonpj@microsoft.comTwo improvements to optCoercion
2009-12-11 simonpj@microsoft.comUse full equality for CSE
2009-11-19 Roman LeshchinskiyFix splitAppTys
2009-11-12 simonpj@microsoft.comA radical overhaul of the coercion infrastucture
2009-11-06 simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2009-10-28 simonpj@microsoft.comTrivial improvement to mkForAllTy
2009-08-13 simonpj@microsoft.comFix Trac #3409: type synonyms that discard their arguments
2009-03-05 simonpj@microsoft.comFinally fix Trac #3066
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments
2008-09-23 simonpj@microsoft.comImprove crash message from applyTys and applyTypeToArgs
2008-10-09 Manuel M T ChakravartyCover PredTy case in Type.tyFamInsts
2008-10-02 Manuel M T ChakravartyClean up some comments
2008-09-15 simonpj@microsoft.comMinor refactoring to get rid of Type.splitNewTyConApp
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities
2008-09-05 simonpj@microsoft.comBetter debug panic messages in applyTys
2008-08-07 Ian LynaghFix errors with haddock 0.8
2008-07-31 Max BolingbrokeDocument Type
2008-05-28 Simon MarlowUse MD5 checksums for recompilation checking (fixes...
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Type
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