Fix #7484, checking for good binder names in Convert.
[ghc.git] / compiler / typecheck / TcSplice.lhs
2014-11-21  Richard EisenbergFix #7484, checking for good binder names in Convert.
2014-11-20  Jan StolarekSplit SynTyCon to SynonymTyCon and FamilyTyCon
2014-11-12  Richard EisenbergFix #9064 by adding support for generic default signatu...
2014-11-04  Simon Peyton JonesA little refactoring of HsSplice and friends
2014-11-02  Richard EisenbergAnnotate poly-kinded type patterns in instance reification.
2014-11-02  Richard EisenbergAnnotate reified poly-kinded tycons when necessary...
2014-11-02  Richard EisenbergAlways use KindedTV when reifying. (#8953)
2014-11-02  Richard EisenbergBring unbound tyvars into scope during reifyInstances.
2014-10-21  Richard EisenbergReify data family instances correctly.
2014-07-21  Edward Z. YangRename PackageId to PackageKey, distinguishing it from...
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-06  Simon Peyton JonesMake the matcher and wrapper Ids in PatSyn into LocalId...
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-28  Gergely RiskoFix annotation reification for home package modules
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-17  Simon Peyton JonesMake qReport force its error message before printing it
2014-03-14  Richard EisenbergFix #8884.
2014-02-10  Richard EisenbergRefactor previous commit on fixing #7021.
2014-02-09  YoEightApply changes relative to TH.Pred becoming a TH.Type...
2014-02-09  Richard EisenbergFix #8759 by not panicking with TH and patsyns.
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesRe-work the naming story for the GHCi prompt (Trac...
2013-12-05  Simon Peyton JonesTypecheck typed TH splices properly (fix Trac #8577)
2013-11-25  Simon Peyton JonesAnother raft of Template Haskell clean-up
2013-11-22  Simon Peyton JonesRefactor TcSplice.tcBracket a bit
2013-11-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-11-06  Simon Peyton JonesTidy up the error messages we get from TH in stage1...
2013-11-06  Simon Peyton JonesZonk the type in reifyInstances (fixes Trac #7477)
2013-11-02  Austin SeippAdd support for module reification (#1480)
2013-10-12  Austin SeippAdd machinery to reify annotations (#8397)
2013-10-04  Geoffrey MainlandMerge New Template Haskell branch.
2013-10-04  Geoffrey MainlandAdd support for Template Haskell state.
2013-10-04  Geoffrey MainlandAdd support for Template Haskell module finalizers.
2013-10-04  Geoffrey MainlandChange the types of typed brackets and splices.
2013-10-04  Geoffrey MainlandAllow splices to add additional top-level declarations.
2013-10-04  Geoffrey MainlandAdd full support for declaration splices.
2013-10-04  Geoffrey MainlandAdd support for pattern splices.
2013-10-04  Geoffrey MainlandClean up error context when checking brackets/splices.
2013-10-04  Geoffrey MainlandAdd support for typed brackets and splices.
2013-10-04  Geoffrey MainlandTrack TH stage in the renamer.
2013-10-04  Geoffrey MainlandTrack the typed/untyped distinction in the current...
2013-10-04  Geoffrey MainlandDifferentiate typed and untyped splices and brackets...
2013-09-22  Austin SeippRestructure compilation pipeline to allow hooks
2013-09-20  Simon Peyton JonesRefactor AMP warnings a bit
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-08-05  Richard EisenbergAdded support for writing and checking closed type...
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-05-21  Simon Peyton JonesSimplify kind generalisation, and fix Trac #7916
2013-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-15  Simon Peyton JonesMake reifyInstances expand type synonyms robustly ...
2013-04-25  Gabor GreifFixed moer tyops
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-14  Simon Peyton JonesBe willing to parse {-# UNPACK #-} without '!'
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-01  Simon Peyton JonesRefactor the invariants for ClsInsts
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMake {-# UNPACK #-} work for type/data family invocations
2012-12-22  Richard EisenbergImplement overlapping type family instances.
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-16  Ian LynaghSome alpha renaming
2012-10-15  Simon Peyton JonesRefactor the type of tcBracked (no change in behaviour)
2012-10-15  Simon Peyton JonesWrap a bracket quotation in a coercion that makes it...
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMake sure that we check for type errors strictly in...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-10-02  Simon Peyton JonesMerge remote-tracking branch 'origin/master'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesWibble to debug print
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMake a start towards eta-rules and injective families
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-03  Simon Peyton JonesComments only
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
next