summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Interact.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-11/+11
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1/+3
* 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-4/+5
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-24/+101
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-22/+81
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-091-11/+49
* Fix typosBrian Wignall2021-02-061-2/+2
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-9/+10
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-41/+87
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-2/+2
* Remove flattening variablesRichard Eisenberg2020-12-011-583/+140
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-6/+4
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-2/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+10
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-3/+6
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Refactor hole constraints.Richard Eisenberg2020-05-061-7/+6
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2700