summaryrefslogtreecommitdiff
path: root/testsuite/tests/corelint/LintEtaExpand.stderr
Commit message (Expand)AuthorAgeFilesLines
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-8/+8
* Core Lint: ensure primops can be eta-expandedsheaf2022-02-261-0/+18