summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Predicate.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-121-1/+1
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-311-3/+5
* Pmc: consider any 2 dicts of the same type equalsheaf2022-08-261-1/+0
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-251-1/+18
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-38/+0
* Introduce ConcreteTv metavariablessheaf2022-03-021-28/+19
* Kill derived constraintsRichard Eisenberg2022-02-231-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
View Lorry Controller Status