Document the "kind invariant", and check it
[ghc.git] / compiler / types / TypeRep.lhs
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-22  Simon Marlowmerge
2011-11-22  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-21  Jose Pedro MagalhaesRename ? to OpenKind and ?? to ArgKind
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-21  Simon MarlowAdd support for all top-level declarations to GHCi
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-06  Max BolingbrokeRemove bogus isCoercionKind function and its sole use
2011-08-08  Simon Peyton JonesUse parenSymOcc when displaying an export list in RnNam...
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Simon Peyton JonesPrint type contexts with fsep, not sep
2011-08-03  Simon Peyton JonesisCoVarType should look at the *representation* type,
2011-08-01  David TereiMerge branch 'master' of ssh://darcs.haskell.org/home...
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-23  Simon Peyton JonesA nice tidy-up for CvSubst and liftCoSubst
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
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-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-04  Simon Peyton JonesMerge commit
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-05-02  Simon Peyton JonesA few more wibbles on ghc-new-co
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-20  Simon Peyton JonesComment changes to satisfy Haddock
2011-04-20  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-04-20  Simon Peyton JonesPretty-print type variables that are operators correctly
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...
2010-11-23  Ian LynaghRemove references to Haskell 98
2010-09-17  simonpj@microsoft.comMinor type printing amomaly
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-08-18  simonpj@microsoft.comWibble
2010-08-18  simonpj@microsoft.comPretty printing change
2010-06-04  simonpj@microsoft.comDon't use unnecessary parens when printing types (Fix...
2010-03-30  David WaernAdd Data and Typeable instances to HsSyn
2009-12-16  simonpj@microsoft.comFix a long-standing infelicity in the type pretty printer
2009-11-06  simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2009-10-15  simonpj@microsoft.comFix Trac #959: a long-standing bug in instantiating...
2009-10-02  simonpj@microsoft.comFix pretty-printing precedence for equality constraints
2009-07-23  simonpj@microsoft.comAdd tuple sections as a new feature
2009-07-06  simonpj@microsoft.comTrim unused imports detected by new unused-import code
2009-02-02  simonpj@microsoft.comImprove error reporting for precedence errors
2008-11-26  simonpj@microsoft.comFix Trac #2766: printing operator type variables
2008-07-31  Max BolingbrokeDocument TypeRep and follow OccName change
2008-08-04  simonpj@microsoft.comFix the bug part of Trac #1930
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in TypeRep
2008-03-15  Ian LynaghRemove leftover NoteTy/FTVNote bits
2008-01-26  Twan van LaarhovenFixed warnings in types/TypeRep
2008-01-07  simonpj@microsoft.comMake the treatment of equalities more uniform
2007-09-11  simonpj@microsoft.comMinor refactoring: give an explicit name to the pretty...
2007-09-07  Manuel M T ChakravartyImproved error messages for higher-rank equality contexts
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-06-25  simonpj@microsoft.comPrint infix type constructors in an infix way
2007-01-11  simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
2006-12-29  Manuel M T ChakravartyEqPred pretty prints as ~ and equalities without brackets
2006-11-10  simonpj@microsoft.comCosmetics and debug printing only
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-11  Simon MarlowInterface file optimisation and removal of nameParent
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.comRemove dead code concerning coercions from TypeRep
2006-09-21  audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
2006-09-20  Manuel M T ChakravartyComments only
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-18  Manuel M T ChakravartyRemove argument variance info of tycons
2006-08-04  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-04-07  Simon MarlowReorganisation of the source tree