summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcSplice.hs
Commit message (Expand)AuthorAgeFilesLines
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remove unused variable bindingSimon Peyton Jones2017-09-141-1/+1
* Refactor to eliminate FamTyConShapeSimon Peyton Jones2017-09-141-24/+16
* Fix #14167 by using isGadtSyntaxTyCon in more placesRyan Scott2017-09-021-31/+3
* Fix #13885 by freshening reified GADT constructors' universal tyvarsRyan Scott2017-08-221-19/+58
* Fix #11785 by making reifyKind = reifyTypeRyan Scott2017-08-171-27/+3
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-141-18/+110
* Add MonadIO Q - by requiring MonadIO => QuasiOleg Grenrus2017-08-051-1/+0
* Error eagerly after renaming failures in reifyInstancesRyan Scott2017-07-281-1/+5
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-6/+7
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-25/+28
* Use lengthIs and friends in more placesRyan Scott2017-06-021-2/+2
* Deal with exceptions in dsWhenNoErrsSimon Peyton Jones2017-05-041-7/+1
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-2/+2
* Make the tyvars in TH-reified data family instances uniformRyan Scott2017-04-281-5/+8
* Split up RnEnv into 4 modules, RnUnbound, RnUtils and RnFixityMatthew Pickering2017-04-121-0/+2
* Introduce and use EnumSet in DynFlagsBen Gamari2017-03-151-4/+3
* Allow compilation of C/C++/ObjC/ObjC++ files with module from THFrancesco Mazzoli2017-03-081-11/+4
* TH-spliced class instances are pretty-printed incorrectly post-#3384Alan Zimmerman2017-02-101-1/+1
* Implement addCStub in template-haskell.Facundo Domínguez2017-02-091-0/+12
* Spelling fixesGabor Greif2017-02-021-1/+1
* Fixes bug #11046Iavor S. Diatchki2017-01-301-1/+2
* Allow use of the external interpreter in stage1.Shea Levy2016-12-201-20/+0
* Revert "Allow use of the external interpreter in stage1."Tamar Christina2016-12-191-0/+20
* Allow use of the external interpreter in stage1.Shea Levy2016-12-171-20/+0
* Disambiguate reified closed type family kinds in THRyan Scott2016-12-091-3/+8
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+1
* Make quoting and reification return the same typesDominik Bollmann2016-11-251-4/+4
* The Backpack patch.Edward Z. Yang2016-10-081-1/+3
* Improve error handling in TcRnMonadSimon Peyton Jones2016-10-051-1/+1
* Comments and manual only: spellingGabor Greif2016-09-281-1/+1
* Don't ignore addTopDecls in module finalizers.Facundo Domínguez2016-09-051-7/+3
* Template Haskell support for unboxed sumsRyan Scott2016-08-231-1/+2
* Some typos in commentsGabor Greif2016-07-261-1/+1
* Fix Template Haskell reification of unboxed tuple typesRyan Scott2016-07-181-1/+3
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-26/+74
* Remote GHCi: comments onlySimon Marlow2016-06-241-3/+13
* Remote GHCi: separate out message typesSimon Marlow2016-06-241-11/+19
* Implement ReifyConStrictness for -fexternal-interpreter (#12219)Simon Marlow2016-06-241-0/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-3/+4
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-121-2/+19
* Add TemplateHaskell support for Overlapping pragmasIavor S. Diatchki2016-04-171-1/+7
* Filter out invisible kind arguments during TH reificationRyanGlScott2016-04-111-1/+3
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+1
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-24/+12
* Improve pretty-printing of HsWrappersSimon Peyton Jones2016-02-121-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-16/+26
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* Construct in_scope set in mkTopTCvSubstBartosz Nitka2016-01-261-3/+3
View Lorry Controller Status