summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver.hs
Commit message (Expand)AuthorAgeFilesLines
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-26/+44
* Improve partial signaturesSimon Peyton Jones2022-01-271-18/+80
* Fix typosKrzysztof Gogolewski2021-12-251-4/+4
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-28/+74
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-5/+7
* Don't default type variables in type familiessheaf2021-10-261-5/+14
* Add defaulting plugins.Andrei Barbu2021-10-081-5/+29
* Speed up valid hole-fits by adding early abort and checks.Matthías Páll Gissurarson2021-10-051-1/+5
* Bump TcLevel of failing kind equality implicationsheaf2021-10-041-8/+28
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-12/+2
* Detect TypeError when checking for insolubilitysheaf2021-08-151-1/+66
* Add TcRnSimplifierTooManyIterations to TcRnMessageAlfredo Di Napoli2021-07-091-6/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-5/+7
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-3/+4
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-4/+4
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-3/+3
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-2/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-3/+3
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-6/+20
* Fix typosBrian Wignall2021-02-061-2/+2
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-2/+2
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-221-4/+43
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-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