summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-191-18/+25
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* Wire in constraint tuplesRyan Scott2020-09-191-2/+2
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-1/+1
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-101/+10
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-1/+0
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-5/+4
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-193-31/+110
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-1211-0/+12
* typecheck: Drop SPECIALISE pragmas when there is no unfoldingBen Gamari2020-08-111-3/+7
* Simplify XRec definitionZubin Duggal2020-07-251-4/+8
* Replace HscTarget with BackendSylvain Henry2020-07-222-20/+22
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-5/+5
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-1/+0
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-182-18/+15
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-184-76/+34
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-15/+25
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-2/+4
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-22/+55
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-283-4/+4
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-2/+54
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-12/+7
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-8/+8
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-252-3/+3
* Expunge GhcTcIdSimon Peyton Jones2020-06-2511-91/+91
* Various performance improvementsKrzysztof Gogolewski2020-06-172-2/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-1711-345/+549
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-133-56/+64
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-105-7/+7
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+1
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0512-613/+862
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-9/+9
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-242-6/+6
* Use braces with do in `SplicePat` case for consistencyJohn Ericson2020-05-211-2/+2
* Tiny cleaup eta-reduce away a function argumentJohn Ericson2020-05-211-2/+2
* Put `PatEnv` first in `GHC.Tc.Gen.Pat.Checker`John Ericson2020-05-211-62/+65
* More judiciously panic in `ts_pat`John Ericson2020-05-211-3/+3
* Use `Checker` for `tc_lpat` and `tc_lpats`John Ericson2020-05-211-32/+25
* Use `Checker` for `tc_pat`John Ericson2020-05-211-56/+58
* Explicit SpecificityGert-Jan Bottu2020-05-218-117/+198
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-133-10/+10
* Fix specialisation for DFunsSimon Peyton Jones2020-05-081-5/+2
* Refactor hole constraints.Richard Eisenberg2020-05-063-18/+13
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-042-16/+19
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-301-6/+21
* Unit: split and rename modulesSylvain Henry2020-04-305-5/+5
* Refactoring unit management codeSylvain Henry2020-04-301-8/+8
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2614-65/+65
View Lorry Controller Status