summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-056-617/+448
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-042-7/+7
* Avoid unnecessary allocations due to tracing utilitiesBen Gamari2020-05-281-12/+46
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-242-2/+2
* Explicit SpecificityGert-Jan Bottu2020-05-212-29/+72
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-1/+3
* Remove further dead code found by a simple Python script.Brian Foley2020-05-081-21/+3
* Refactor hole constraints.Richard Eisenberg2020-05-062-65/+59
* 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-301-0/+4
* Unit: split and rename modulesSylvain Henry2020-04-303-4/+4
* Refactoring unit management codeSylvain Henry2020-04-303-56/+53
* Refactor UnitInfoSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2610-55/+55
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-23/+36
* Do eager instantation in termsSimon Peyton Jones2020-04-226-168/+128
* Modules (#13009)Sylvain Henry2020-04-188-21/+21
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-5/+10
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-7/+7
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-2/+7
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-073-38/+8
* Modules: type-checker (#13009)Sylvain Henry2020-04-0711-0/+14162
View Lorry Controller Status