summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add `forAllOrNothing` function with noteJohn Ericson2020-05-081-1/+2
* Remove further dead code found by a simple Python script.Brian Foley2020-05-082-45/+6
* Refactor hole constraints.Richard Eisenberg2020-05-0617-464/+481
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-042-16/+19
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-011-1/+22
* Remove PprStyle param of logging actionsSylvain Henry2020-05-011-3/+2
* Refactor PprDebug handlingSylvain Henry2020-05-011-2/+2
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-302-6/+25
* Unit: split and rename modulesSylvain Henry2020-04-3021-24/+24
* Refactoring unit management codeSylvain Henry2020-04-3013-80/+77
* Refactor UnitInfoSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2659-328/+328
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-239-70/+96
* Create di_scoped_tvs for associated data family instances properlyRyan Scott2020-04-231-7/+57
* Update commentary and slightly refactor GHC.Tc.Deriv.InferRyan Scott2020-04-221-10/+17
* Do eager instantation in termsSimon Peyton Jones2020-04-2219-712/+762
* Avoid DynFlags in Ppr code (#17957)Sylvain Henry2020-04-211-1/+2
* GHC.Runtime: avoid DynFlags (#17957)Sylvain Henry2020-04-211-0/+7
View Lorry Controller Status