summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver.hs
Commit message (Expand)AuthorAgeFilesLines
* Establish invariant (GivenInv)wip/T18929Simon Peyton Jones2020-12-281-68/+84
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-396/+88
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-6/+10
* Remove flattening variablesRichard Eisenberg2020-12-011-30/+72
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-14/+36
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+0
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-1/+23
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-2/+1
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-110/+114
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-1/+1
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-121-31/+28
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-2/+2
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+8
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-44/+159
* Explicit SpecificityGert-Jan Bottu2020-05-211-3/+3
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-1/+1
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-9/+5
* Refactor hole constraints.Richard Eisenberg2020-05-061-29/+25
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-5/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2727
View Lorry Controller Status