[Nice-commit] Nice/testsuite/compiler/typing instanceof.testsuite,1.9,1.10

[<ar...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1:/tmp/cvs-serv30640/F:/nice/testsuite/compiler/typing

Modified Files:
	instanceof.testsuite 
Log Message:
Testcase where type inference doesn't work correctly on captured variables.

Index: instanceof.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/instanceof.testsuite,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** instanceof.testsuite	20 Nov 2003 00:32:41 -0000	1.9
--- instanceof.testsuite	20 Nov 2003 01:20:13 -0000	1.10
***************
*** 215,216 ****
--- 215,229 ----
      B /* /// FAIL HERE */b = a;
    }
+ 
+ /// FAIL bug
+   A a = new B();
+   if (a instanceof B) {
+     void->void f = () =>
+       { 
+         int x = a./* /// FAIL HERE */life;
+         a = new A();
+       };
+ 
+     a = new A();
+     f();
+   }