summaryrefslogtreecommitdiff
path: root/test/files/run/idempotency-this.check
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/2.10.x' into merge-210Paul Phillips2013-02-101-3/+3
|\
| * term and type reftrees are now reified uniformlyEugene Burmako2013-02-081-3/+3
* | Changes reflection tests to use shorter name constructorsDen Shabalin2012-12-251-1/+1
|/
* tests for idempotency issues in the typecheckerEugene Burmako2012-12-041-0/+4