summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/UnliftedNewtypesLevityBinder.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-091-6/+3
* Deprecate TypeInType extensionHaskellMouse2022-06-061-2/+2
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-1/+5
* Introduce ConcreteTv metavariablessheaf2022-03-021-1/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-0/+7