From d940371bd50098c4146e52941880ccdbcb4ea47a Mon Sep 17 00:00:00 2001
From: Eugene Burmako <xeno.by@gmail.com>
Date: Thu, 2 Feb 2012 14:39:44 +0100
Subject: 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
---
 test/files/run/code.check | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'test/files/run/code.check')

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
-- 
cgit v1.2.3