summaryrefslogtreecommitdiff
path: root/testsuite/tests/tcplugins/RewritePlugin.hs
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+3
* Add rewriting to typechecking pluginssheaf2021-08-131-0/+87