summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix a buglet in redundant-constraint warningsSimon Peyton Jones2020-04-201-3/+10
* Modules (#13009)Sylvain Henry2020-04-1842-107/+108
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Add a missing zonk in tcHsPartialTypeSimon Peyton Jones2020-04-181-14/+81
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-173-17/+33
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-175-28/+27
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-173-13/+23
* Fix #18052 by using pprPrefixOcc in more placesRyan Scott2020-04-151-4/+4
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-144-6/+10
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-15/+54
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-0720-159/+10
* Modules: type-checker (#13009)Sylvain Henry2020-04-0765-0/+82661
View Lorry Controller Status