Update of /cvsroot/nice/Nice/testsuite/compiler/null
In directory sc8-pr-cvs1:/tmp/cvs-serv6202/F:/nice/testsuite/compiler/null
Modified Files:
constants.testsuite
Log Message:
Don't allow nullness inference on global variables.
Index: constants.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/constants.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** constants.testsuite 27 May 2003 20:43:22 -0000 1.1
--- constants.testsuite 27 May 2003 21:07:55 -0000 1.2
***************
*** 33,36 ****
--- 33,46 ----
s = "xyz";
+ /// PASS
+ if (str != null)
+ str.trim();
+ /// Toplevel
+ let ?String str = null;
+ /// FAIL
+ if (str != null)
+ str.trim();
+ /// Toplevel
+ var ?String str = null;
|
