summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver
Commit message (Expand)AuthorAgeFilesLines
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+1
* Add compiler linting to CIHécate2021-03-251-2/+7
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-22/+81
* Rewrite.split: Fix reboxingBen Gamari2021-02-271-2/+5
* GHC.Tc.Solver.Rewrite: oneShot-ifyBen Gamari2021-02-271-7/+14
* TcS: oneShot-ifyBen Gamari2021-02-271-8/+16
* Refactor LoggerSylvain Henry2021-02-131-2/+2
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-092-19/+77
* Fix typosBrian Wignall2021-02-062-4/+4
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-232-71/+140
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-022-10/+24
* Refactor renamer datastructuresAdam Gundry2020-12-241-1/+1
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-203-265/+545
* Quick Look: zonk result typeSimon Peyton Jones2020-12-191-0/+5
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-0/+5
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-5/+0
* Optimise nullary type constructor usageBen Gamari2020-12-141-0/+5
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-1/+1
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-014-389/+382
* Remove flattening variablesRichard Eisenberg2020-12-014-2866/+1981
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+3
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-152-4/+4
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-012-8/+5
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-1/+60
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-2/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+2
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-2/+4
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-103-9/+14
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-1/+2
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Omit redundant kind equality check in solverRichard Eisenberg2020-09-301-13/+21
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-5/+17
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-153-7/+9
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-121-8/+21
* DynFlags: disentangle OutputableSylvain Henry2020-08-124-0/+4
* Comments onlySimon Peyton Jones2020-07-131-2/+5
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-121-8/+8
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-253-4/+4
* Various performance improvementsKrzysztof Gogolewski2020-06-172-5/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-18/+25
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-46/+68
* Avoid unnecessary allocations due to tracing utilitiesBen Gamari2020-05-282-0/+5
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-1/+1
* Refactor hole constraints.Richard Eisenberg2020-05-064-34/+25
View Lorry Controller Status