[Nice-commit] Nice/testsuite/compiler/typing instanceof.testsuite,1.21,1.22

[Daniel B. <bo...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19902/testsuite/compiler/typing

Modified Files:
	instanceof.testsuite 
Log Message:
Take instanceof assertions into account in the typechecker
(implements rfe #923854).


Index: instanceof.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/instanceof.testsuite,v
retrieving revision 1.21
retrieving revision 1.22
diff -C2 -d -r1.21 -r1.22
*** instanceof.testsuite	27 Jun 2004 23:37:25 -0000	1.21
--- instanceof.testsuite	20 Jul 2004 22:37:49 -0000	1.22
***************
*** 331,332 ****
--- 331,357 ----
    }
  
+ /// PASS
+   Object o = foo();
+   assert o instanceof String;
+   String s = o;
+   /// Toplevel
+   Object foo() = "";
+ 
+ /// FAIL
+   Object o = foo();
+   assert o instanceof String;
+   o = 42;
+   String /*/// FAIL HERE*/ s = o;
+   /// Toplevel
+   Object foo() = "";
+ 
+ 
+ /// FAIL
+   Object o = foo();
+   if (o == "")
+     {
+       assert o instanceof String;
+     }
+   String /*/// FAIL HERE*/ s = o;
+   /// Toplevel
+   Object foo() = "";