summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Replace HscTarget with BackendSylvain Henry2020-07-222-20/+22
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-211-1/+1
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-212-17/+18
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-1/+0
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-185-52/+42
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-1811-534/+559
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-145-38/+92
* Comments onlySimon Peyton Jones2020-07-131-2/+5
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-122-10/+12
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-037-281/+424
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-2811-18/+18
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-283-10/+67
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-272-13/+8
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-273-270/+567
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-263-15/+15
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-2523-61/+61
* Expunge GhcTcIdSimon Peyton Jones2020-06-2517-155/+154
* DynFlags: store default depth in SDocContext (#17957)Sylvain Henry2020-06-181-2/+2
* Update compilerSylvain Henry2020-06-174-10/+12
* Various performance improvementsKrzysztof Gogolewski2020-06-1716-29/+21
* Linear types (#15981)Krzysztof Gogolewski2020-06-1743-599/+1045
* User's Guide: KnownNat evidence is NaturalVladislav Zavialov2020-06-151-4/+4
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-137-80/+94
* Rename Package into Unit (2)Sylvain Henry2020-06-131-1/+1
* Rename Package into UnitSylvain Henry2020-06-131-3/+3
* Enhance UnitId useSylvain Henry2020-06-133-3/+3
* Refactor homeUnitSylvain Henry2020-06-134-12/+17
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-1013-22/+22
* Always use rnImplicitBndrs to bring implicit tyvars into scopeRyan Scott2020-06-101-1/+1
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-39/+1
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0530-1721/+1922
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-044-22/+23
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-9/+9
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Avoid unnecessary allocations due to tracing utilitiesBen Gamari2020-05-283-12/+51
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-245-9/+9
* Fix spelling mistakes and typosbuggymcbugfix2020-05-211-2/+2
* 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-2119-255/+368
* Use Data.IntMap.disjointSimon Jakobi2020-05-143-5/+3
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-143-13/+29
* 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
View Lorry Controller Status