summaryrefslogtreecommitdiff
path: root/test/files/run/t5274_1.check
Commit message (Collapse)AuthorAgeFilesLines
* Miscellaneous fixes to reificationEugene Burmako2012-02-021-0/+3
More specifically: * Importers now preserve wasEmpty and original * ToolBoxes no longer auto-evaluate nullary functions returned by runExpr * All local symbols from previous typechecks are now correctly erased by ResetAttrs * Originals are now reified