summaryrefslogtreecommitdiff
path: root/testsuite/tests/tcplugins
Commit message (Expand)AuthorAgeFilesLines
* Add Javascript backendSylvain Henry2022-11-291-0/+1
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-16/+16
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-115-5/+11
* Diagnostic codes: acccept test changessheaf2022-09-132-2/+2
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-2/+2
* TcPlugin: access to irreducible givens + fix passed ev_binds_varPavol Vargovcik2022-05-166-0/+116
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-1/+4
* Kill derived constraintsRichard Eisenberg2022-02-236-13/+13
* TcPlugins: `newWanted` uses the provided `CtLoc`sheaf2022-01-114-0/+122
* Multiple Home UnitsMatthew Pickering2021-12-281-3/+3
* Refactor package importsSylvain Henry2021-10-222-2/+4
* Canonicalize bignum literalsSylvain Henry2021-09-111-6/+9
* Update TcPlugin_RewritePerf performance testsheaf2021-08-155-29/+21
* Add rewriting to typechecking pluginssheaf2021-08-1312-30/+442
* Add nontrivial type-checking plugin testssheaf2021-07-2312-0/+454