Fix AMP warnings.
[ghc.git] / compiler / types / Kind.lhs
2013-06-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-06-11  Simon Peyton JonesActually make the change described in 'Fix egregious...
2013-06-10  Simon Peyton JonesFix egregious typo in cmpTypeX
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-04  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-03  Simon Peyton JonesMake sure that Constraint is unrelated to other kinds...
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-19  Simon Peyton JonesMove the kind Nat and Symbol out of TysPrim and into...
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-12-01  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-12-01  Richard EisenbergAdded GHC formalism to the GHC source tree.
2012-11-26  Gabor Greiftypos in note
2012-11-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-26  Simon Peyton JonesMake Constraint and * look identical in Core (System FC)
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesComments and debug tracing only
2012-07-14  Ian LynaghMerge remote branch 'mikolaj/dcoutts'
2012-07-10  Simon Peyton JonesMerge branch 'master' of ../HEAD
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesMore changes to kind inference for type and class decla...
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-06-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Ian LynaghChange how macros like ASSERT are defined
2012-05-15  Max BolingbrokeSupport code generation for unboxed-tuple function...
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesFix Trac #5952, by changing the Outputable TyCon instance,
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-21  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-17  Simon Peyton JonesNow I understand why Constraint is a sub-kind of ArgKind!
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesMore simplification of the sub-kinding story
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesRefactoring around super-kinds
2012-02-14  Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-06  Simon Peyton JonesGive promoted DataCons a tyConArity and promoted TyCons...
2012-02-01  Simon Peyton JonesWhen type-checking kinds, be sure to promote list and...
2012-01-25  Iavor S. DiatchkiAdd support for type-level "strings".
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-19  Iavor S. DiatchkiExtend GHC's type with a representation for type level...
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Jose Pedro MagalhaesFix kind checking of tuples
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  Jose Pedro MagalhaesBetter error messages when we know the expected kind...
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-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-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-05-26  Jose Pedro MagalhaesMerge branch 'ghc-generics'
2011-05-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-26  Simon Peyton JonesTreat the (~) type constructor a bit specially
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
next