summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Types/Constraint.hs
Commit message (Expand)AuthorAgeFilesLines
* Detect TypeError when checking for insolubilitysheaf2021-08-151-11/+40
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-25/+180
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-6/+6
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-101-0/+3
* Kick out fewer equalities by thinking harderRichard Eisenberg2021-04-101-1/+2
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-101-1/+52
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-7/+16
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-5/+4
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+2
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-171-1/+1
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-11/+17
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-37/+50
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-10/+10
* Remove flattening variablesRichard Eisenberg2020-12-011-198/+201
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-12/+45
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-6/+12
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-11/+11
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-23/+25
* Refactor hole constraints.Richard Eisenberg2020-05-061-77/+114
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-14/+14
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1814
View Lorry Controller Status