[Nice-commit] Nice/testsuite/compiler/null constants.testsuite,1.1,1.2

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

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;