Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Miscellaneous fixes to reification | Eugene Burmako | 2012-02-02 | 1 | -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 |