[Nice-commit] Nice/testsuite/compiler/typing instanceof.testsuite,1.2,1.3

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

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

Modified Files:
	instanceof.testsuite 
Log Message:
Type inference for instanceof in a while loop.

Index: instanceof.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/instanceof.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** instanceof.testsuite	28 Aug 2003 08:46:32 -0000	1.2
--- instanceof.testsuite	28 Sep 2003 17:16:33 -0000	1.3
***************
*** 56,57 ****
--- 56,92 ----
        i = a.life;
      }
+ 
+ /// PASS
+   A a;
+   a = new B();
+   var test = false;
+   while (a instanceof B)
+     {
+       assert a.life == 42;
+       test = true;
+       break;
+     }
+   assert test;
+ 
+ /// PASS
+   A a = new B();
+   while (a instanceof B)
+     {
+       int i = a.life;
+       if (i == 42)
+         a = new A();
+       else
+         i = a.life + 1;
+       break;
+     }
+ 
+ /// FAIL
+   A a = new B();
+   while (a instanceof B)
+     {
+       int i = a.life;
+       if (i == 42)
+         a = new A();
+       i = a.life;
+       break;
+     }