summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Splice.hs
Commit message (Expand)AuthorAgeFilesLines
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-4/+64
* template-haskell: Run TH splices with err_vars from current contextMatthew Pickering2021-04-121-1/+5
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-2/+2
* Refactor FinderCacheSylvain Henry2021-03-261-1/+4
* Move loader state into InterpSylvain Henry2021-03-231-11/+10
* GHC Exactprint main commitAlan Zimmerman2021-03-201-8/+9
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-5/+164
* DynFlags: move temp file management into HscEnv (#17957)Sylvain Henry2021-03-081-2/+3
* Move Hooks into HscEnvSylvain Henry2021-02-221-3/+5
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-14/+4
* Refactor LoggerSylvain Henry2021-02-131-1/+3
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-011-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-3/+3
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-6/+5
* Factorize and document binder collect functionsSylvain Henry2021-01-221-1/+1
* Implement type applications in patternsCale Gibbard2020-12-141-1/+1
* Move Plugins into HscEnv (#17957)Sylvain Henry2020-11-211-1/+1
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-2/+2
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-1/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-53/+65
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-19/+15
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-051-1/+4
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-4/+10
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-5/+5
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-6/+12
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-17/+13
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-6/+6
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-24/+56
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-041-1/+7
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-8/+8
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* Do eager instantation in termsSimon Peyton Jones2020-04-221-5/+5
* Modules (#13009)Sylvain Henry2020-04-181-4/+4
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-1/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2384
View Lorry Controller Status