summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/should_run/tc-plugin-ghci
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintsRichard Eisenberg2022-02-231-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
* Load plugins in interactive sessionChristiaan Baaij2018-11-225-0/+68