summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Unify.hs
Commit message (Expand)AuthorAgeFilesLines
* One-shot changes (#20008)Simon Peyton Jones2021-07-021-0/+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-2/+3
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-11/+56
* Fix typosBrian Wignall2021-02-061-1/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-53/+81
* Fix #19044 by tweaking unification in inst lookupRichard Eisenberg2020-12-181-50/+85
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-1/+6
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-6/+1
* Optimise nullary type constructor usageBen Gamari2020-12-141-1/+6
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-4/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-37/+76
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-3/+300
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-1/+1
* Use tcView, not coreView, in the pure unifier.Richard Eisenberg2020-08-251-2/+5
* Rewrite and move the monad-state hack noteSylvain Henry2020-08-121-73/+2
* GHC.Core.Unify: Make UM actions one-shot by defaultwip/oneshot-unifySebastian Graf2020-06-251-3/+83
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-11/+13
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-3/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2/+2
* Require GHC 8.8 as the minimum compiler for bootstrappingRyan Scott2020-03-311-5/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-6/+6
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-1/+1
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-2/+2
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+1592