Nicer pretty printing for tuple kinds
[ghc.git] / compiler / typecheck / TcSplice.lhs
2012-08-31  Simon Peyton JonesNicer pretty printing for tuple kinds
2012-07-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-20  Simon Peyton JonesMerge ../HEAD
2012-07-19  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-15  Ian LynaghMove -fno-warn-orphan flag into individual modules
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-27  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-27  Simon Peyton JonesAdd silent superclass parameters (again)
2012-06-14  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-13  Simon Peyton JonesSimplify the implementation of Implicit Parameters
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:/srv/darcs...
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-07  Simon Peyton JonesSupport polymorphic kind recursion
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  Simon Peyton JonesUse checkNoErrs around calls to the renamer in TcSplice
2012-06-05  Ian LynaghChange how macros like ASSERT are defined
2012-05-18  Ian LynaghMerge branch 'master' of win:c:/m64/reg13/.
2012-05-18  Richard EisenbergApplied lunaris's patch to allow promoted types and...
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-03  Paolo CapriottiPrevent nested TH exceptions from bubbling up to the...
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-30  Simon Peyton JonesDon't do validity checking on types in Template Haskell...
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-15  Iavor S. DiatchkiAdd TH support for type-level literals.
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-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 JonesChange ATyVar to only have a *tyvar* not a *type* in it
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-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-19  Ian LynaghRemove getDOpts; use getDynFlags instead
2012-01-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
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-29  Simon Peyton JonesFix Trac #5721; type variables can be quoted in TH
2011-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
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-12-18  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-16  Jose Pedro MagalhaesBetter failure with promoted kinds in TH
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-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-06  Ian LynaghMerge branch 'dependent7' of https://github.com/gregweb...
2011-11-05  Ian LynaghFix warnings in typecheck/TcSplice.lhs
2011-11-05  Ian LynaghWhitespace only in typecheck/TcSplice.lhs
2011-11-05  Greg WeberaddDependentFile #4900
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-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-02  Simon Peyton JonesFix a buglet in reification of tuples (fixes Trac ...
2011-08-23  Simon Peyton JonesImplement lookupTypeName/lookupValueName, and reificati...
2011-08-05  Simon Peyton JonesA little extra tracing
2011-08-02  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-08-02  Simon Peyton JonesAvoid confusing Haddock in comment
2011-08-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-01  Simon Peyton JonesDon't run a splice if there are preceding type errors
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-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-20  Simon MarlowFix #481: use a safe recompilation check when Template...
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next