summaryrefslogtreecommitdiff
path: root/test/files/run/idempotency-lazy-vals.check
Commit message (Expand)AuthorAgeFilesLines
* term and type reftrees are now reified uniformlyEugene Burmako2013-02-081-1/+1
* tests for idempotency issues in the typecheckerEugene Burmako2012-12-041-0/+23