summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly
Commit message (Expand)AuthorAgeFilesLines
* 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