Nice/testsuite/compiler/typing dti.testsuite,1.9,1.10

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

Modified Files:
	dti.testsuite 
Log Message:
Make option Instanceof really work.

Index: dti.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/dti.testsuite,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** dti.testsuite	8 Mar 2005 19:33:20 -0000	1.9
--- dti.testsuite	9 Mar 2005 21:50:19 -0000	1.10
***************
*** 293,294 ****
--- 293,300 ----
  
   assert a.y == 1;
+ 
+ /// FAIL
+   //no nullness inference on option instanceof
+   ?B x = null;
+   if (x instanceof ?B)
+     assert x. /*/// FAIL HERE*/ x == 1;



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click