summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly
Commit message (Expand)AuthorAgeFilesLines
* JS: Fix h$base_access implementation (issue 22576)Josh Meredith2023-04-251-1/+1
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-156-2/+36
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-153-0/+24
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-143-2/+6
* Handle records in the renamersheaf2023-03-291-4/+3
* Be more careful about quantificationSimon Peyton Jones2023-03-2220-35/+57
* CI: JavaScript backend runs testsuitedoyougnu2023-02-021-1/+1
* Add Javascript backendSylvain Henry2022-11-291-8/+8
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-3/+2
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-2512-24/+24
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-1/+2
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* Diagnostic codes: acccept test changessheaf2022-09-1371-89/+89
* Print constraints in quotes (#21167)Swann Moreau2022-08-191-1/+1
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-0919-117/+210
* Deprecate TypeInType extensionHaskellMouse2022-06-064-6/+4
* Add tests for eta-expansion of data constructorssheaf2022-05-268-0/+258
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-1/+4
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-2848-267/+367
* Docs: datacon eta-expansion, rep-poly checkssheaf2022-04-083-0/+20
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-1/+1
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-012-2/+2
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-1444-213/+354
* Introduce ConcreteTv metavariablessheaf2022-03-0255-101/+287
* Don't default type variables in type familiessheaf2021-10-262-16/+0
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-17141-0/+2340
View Lorry Controller Status