The Backpack patch.
[ghc.git] / compiler / typecheck / TcSplice.hs
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-09-28  Gabor GreifComments and manual only: spelling
2016-09-05  Facundo DomínguezDon't ignore addTopDecls in module finalizers.
2016-08-23  Ryan ScottTemplate Haskell support for unboxed sums
2016-07-25  Gabor GreifSome typos in comments
2016-07-18  Ryan ScottFix Template Haskell reification of unboxed tuple types
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-24  Simon MarlowRemote GHCi: comments only
2016-06-24  Simon MarlowRemote GHCi: separate out message types
2016-06-24  Simon MarlowImplement ReifyConStrictness for -fexternal-interpreter...
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-12  Dominik BollmannAdd TH support for pattern synonyms (fixes #8761)
2016-04-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-11  RyanGlScottFilter out invisible kind arguments during TH reification
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-14  Jan StolarekMinor code refactoring
2016-01-08  RyanGlScottFix Template Haskell's handling of infix GADT constructors
2016-01-08  Simon MarlowSupport for qRecover in TH with -fexternal-interpreter
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
2016-01-07  Simon Peyton JonesInline solveTopConstraints
2016-01-06  Jan StolarekChange Template Haskell representation of GADTs.
2015-12-24  Richard EisenbergVisible type application
2015-12-22  RyanGlScottRework Template Haskell's handling of strictness
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-17  Adam GundryReify DuplicateRecordFields by label, rather than by...
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  John LeoRefactor type families in Template Haskell
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-16  Ömer Sinan AğacanUse TcM instead of it's expanded form, in TcSplice
2015-10-24  Ömer Sinan Ağacanuse Proxy instead of undefined -- we already dropped...
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-09-26  Ömer Sinan Ağacanreify associated types when reifying typeclasses(#10891)
2015-09-23  Austin SeippRevert "reify associated types when reifying typeclasses"
2015-09-23  Ömer Sinan Ağacanreify associated types when reifying typeclasses
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-03  Jan StolarekInjective type families
2015-09-02  Michael SmithAllow annotations though addTopDecls (#10486)
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-08-05  RyanGlScottAdd Fixity info for infix types
2015-08-03  Gabor GreifTypos in comments [skip ci]
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-23  Ben GamariDataCon: Fix redundant import
2015-07-23  Simon Peyton JonesFix Trac #10670
2015-07-07  Edward Z. YangFix #10596 by looking up 'Int' not 'Maybe Int' in the...
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-05-11  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-09  Edward Z. YangRevert stage 1 template-haskell. This is a combination...
2015-05-09  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-04  Adam GundryPermit empty closed type families
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-02-10  Simon Peyton JonesAdd a couple of tcTraces around reify
2015-02-10  Simon Peyton JonesMore comments and white space
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-13  Greg Weberadd -th-file which generates a th.hs file
2015-01-08  Simon Peyton JonesImprove HsBang
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-20  Luite Stegemanadd runMeta hook
2014-12-15  Simon Peyton JonesFix dll-split problem with patch 'Make Core Lint check...
2014-12-03  Austin Seippcompiler: de-lhs typecheck/