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();
+ }
|
