Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-generics
[ghc.git] / compiler / types / Type.lhs
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesThe final batch of changes for the new coercion represe...
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-06  Simon Peyton JonesRemove special case for EqPred in CoreView
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 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  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 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-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
next