summaryrefslogtreecommitdiff
path: root/test/files/run/reify_ann1a.check
Commit message (Expand)AuthorAgeFilesLines
* Simplify type bounds.Paul Phillips2013-04-201-1/+1
* term and type reftrees are now reified uniformlyEugene Burmako2013-02-081-12/+12
* Normalized line endings.Paul Phillips2012-09-201-30/+30
* reify no longer dealiases symbols and typesEugene Burmako2012-07-021-7/+7
* repairs the tests after the refactoring spreeEugene Burmako2012-06-081-6/+6
* Next generation of macrosEugene Burmako2012-04-121-30/+30
* Lots of tedious warning and tree printing work.Paul Phillips2012-03-201-2/+2
* New starr to support new fundamental laws of reality.Paul Phillips2012-03-141-2/+2
* reifyAnnotationsEugene Burmako2012-02-121-0/+30