summaryrefslogtreecommitdiff
path: root/test/files/run/t5271_3.check
Commit message (Expand)AuthorAgeFilesLines
* term and type reftrees are now reified uniformlyEugene Burmako2013-02-081-1/+1
* Normalized line endings.Paul Phillips2012-09-201-21/+21
* reify no longer dealiases symbols and typesEugene Burmako2012-07-021-1/+1
* minor fixes to reificationEugene Burmako2012-04-231-0/+2
* Next generation of macrosEugene Burmako2012-04-121-19/+19
* New starr to support new fundamental laws of reality.Paul Phillips2012-03-141-2/+2
* Disables typechecking that precedes reflective compilationEugene Burmako2012-02-141-1/+19
* Preprocessing for reifeesEugene Burmako2012-02-141-0/+1