summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T11525_Plugin.hs
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintswip/derived-refactorRichard Eisenberg2022-02-221-1/+1
* Add rewriting to typechecking pluginssheaf2021-08-131-4/+6
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* zonkCt tries to maintain the canonical form of a Ct.Christiaan Baaij2017-02-111-0/+14