Merge remote-tracking branch 'origin/master' into type-nats
[ghc.git] / compiler / typecheck / TcSplice.lhs
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
2011-07-15  Simon Peyton JonesExtend Template Haskell to support the UNPACk pragma...
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
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-06-18  David TereiSafeHaskell: Restrict OverlappingInstances.
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-06-10  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-06-09  Ian LynaghRefactor SrcLoc and SrcSpan
2011-05-20  Jose Pedro MagalhaesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
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-12  Simon Peyton JonesWhite space only
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
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-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
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-02-19  Iavor S. DiatchkiMerge remote branch 'origin/master' into type-nats
2011-02-09  Ian LynaghAllow TH brackets to contain things of any kind
2011-02-09  simonpj@microsoft.comSimpify constraints from a TH bracket eagerly
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd basic support for number type literals.
2011-01-13  simonpj@microsoft.comMake Template Haskell classInstances function return...
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-11-24  Ian LynaghDon't mix implicit and explicit layout
2010-11-12  simonpj@microsoft.comAllow the old [$foo| ... |] syntax for quasi-quotes
2010-10-27  Simon MarlowRefactoring and tidyup of HscMain and related things...
2010-10-21  simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
2010-10-08  simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-09-15  simonpj@microsoft.comImplement TH reification of instances (Trac #1835)
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-07-21  simonpj@microsoft.comAllow reification of existentials and GADTs
2010-05-25  simonpj@microsoft.comRefactor (again) the handling of default methods
2010-05-06  simonpj@microsoft.comFix Trac #3966: warn about useless UNPACK pragmas
2010-04-09  simonpj@microsoft.comFix Trac #3953: fail earlier when using a bogus quasiquoter
2010-03-17  simonpj@microsoft.comFix Trac #3920: Template Haskell kinds
2010-02-10  simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus...
2010-02-10  simonpj@microsoft.comSeveral TH/quasiquote changes
2009-11-30  simonpj@microsoft.comFix Trac #3100: reifyType
2009-11-05  simonpj@microsoft.comImprove error reporting when there's an error inside...
2009-10-29  simonpj@microsoft.comWhite space layout only
2009-10-20  simonpj@microsoft.comTidy up TcSplice, especially runMeta and friends
2009-09-15  Thomas SchillingPut context information for warnings in errMsgExtraInfo.
2009-09-10  Simon Marlowremove debugging/testing code that got here by mistake
next