summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-19/+7
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-182-22/+23
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-184-456/+521
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-142-21/+64
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-6/+12
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-1/+1
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-5/+5
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-257-16/+16
* Expunge GhcTcIdSimon Peyton Jones2020-06-253-56/+56
* DynFlags: store default depth in SDocContext (#17957)Sylvain Henry2020-06-181-2/+2
* Update compilerSylvain Henry2020-06-173-7/+11
* Various performance improvementsKrzysztof Gogolewski2020-06-175-10/+8
* Linear types (#15981)Krzysztof Gogolewski2020-06-179-95/+241
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-132-20/+27
* 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-132-2/+2
* Refactor homeUnitSylvain Henry2020-06-132-8/+12
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-103-6/+6
* 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