summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Predicate.hs
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintswip/derived-refactorRichard Eisenberg2022-02-221-2/+14
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-1/+60
* Eta expand through CallStacksSimon Peyton Jones2021-07-271-0/+35
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-1/+1
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-0/+1
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-27/+124
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-1/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Modules: Types (#13009)Sylvain Henry2020-03-291-1/+1
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+228