summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Concrete.hs
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-7/+7
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-141/+356
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-36/+4
* Introduce ConcreteTv metavariablessheaf2022-03-021-235/+229
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-2/+3
* Kill derived constraintsRichard Eisenberg2022-02-231-24/+9
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-0/+521