summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Unify.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix typosBrian Wignall2021-02-061-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-3/+3
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+0
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-182/+186
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-6/+7
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-2/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-141/+142
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-5/+10
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-1/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+8
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-216/+228
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-19/+7
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-21/+21
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-209/+42
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-6/+6
* Various performance improvementsKrzysztof Gogolewski2020-06-171-2/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-26/+71
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-436/+331
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Do eager instantation in termsSimon Peyton Jones2020-04-221-140/+115
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2331