summaryrefslogtreecommitdiff
path: root/test/files/run/idempotency-lazy-vals.check
Commit message (Expand)AuthorAgeFilesLines
* Fields phase expands lazy vals like modulesAdriaan Moors2016-08-291-11/+3
* 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