summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Splice.hs
Commit message (Expand)AuthorAgeFilesLines
* 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