summaryrefslogtreecommitdiff
path: root/testsuite/tests/tcplugins/NullaryPlugin.hs
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintsRichard Eisenberg2022-02-231-2/+2
* Add rewriting to typechecking pluginssheaf2021-08-131-7/+7
* Add nontrivial type-checking plugin testssheaf2021-07-231-0/+58