summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver/Canonical.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-304/+278
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-2/+3
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-8/+9
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-8/+15
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-2/+3
* Refactor renamer datastructuresAdam Gundry2020-12-241-1/+1
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-23/+98
* 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-011-95/+97
* Remove flattening variablesRichard Eisenberg2020-12-011-327/+836
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-3/+3
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-1/+60
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-5/+17
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-2/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-12/+16
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-45/+67
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-1/+1
* Refactor hole constraints.Richard Eisenberg2020-05-061-17/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+2542
View Lorry Controller Status