Miscellaneous fixes to reification

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

1 files changed, 7 insertions, 0 deletions

diff --git a/test/files/run/code.check b/test/files/run/code.check
index b946554fda..9b0351bbf9 100644
--- a/test/files/run/code.check
+++ b/test/files/run/code.check
@@ -1,29 +1,36 @@
 testing: ((x: Int) => x.$plus(ys.length))
+type is: Int => Int
 result = ((x: Int) => x.+{(x: <?>)Int}(ys.length{Int}){Int}){Int => Int}
 evaluated = <function1>
 testing: (() => {
   val e: Element = new Element("someName");
   e
 })
+type is: () => Element
 result = (() => {
   val e: Element = new Element{Element}{(name: <?>)Element}("someName"{String("someName")}){Element};
   e{Element}
 }{Element}){() => Element}
 evaluated = Element(someName)
 testing: (() => truc.elem = 6)
+type is: () => Unit
 result = (() => truc.elem{Int} = 6{Int(6)}{Unit}){() => Unit}
 evaluated = null
 testing: (() => truc.elem = truc.elem.$plus(6))
+type is: () => Unit
 result = (() => truc.elem{Int} = truc.elem.+{(x: <?>)Int}(6{Int(6)}){Int}{Unit}){() => Unit}
 evaluated = null
 testing: (() => new baz.BazElement("someName"))
+type is: () => baz.BazElement
 result = (() => new baz.BazElement{baz.BazElement}{(name: <?>)baz.BazElement}("someName"{String("someName")}){baz.BazElement}){() => baz.BazElement}
 evaluated = BazElement(someName)
 testing: ((x: Int) => x.$plus(ys.length))
+type is: Int => Int
 result = ((x: Int) => x.+{(x: <?>)Int}(ys.length{Int}){Int}){Int => Int}
 evaluated = <function1>
 static: 2
 testing: (() => x.$plus(1))
+type is: () => Int
 result = (() => x.+{(x: <?>)Int}(1{Int(1)}){Int}){() => Int}
 evaluated = 2
 1+1 = 2