[Nice-commit] Nice/testsuite/compiler/typing null.testsuite,1.11,1.12

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

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

Modified Files:
	null.testsuite 
Log Message:
Mark all constraint monotype variables, since they can be used with markers
before they are used without them, making it too late to mark them at that time.


Index: null.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/null.testsuite,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** null.testsuite	27 May 2005 13:59:47 -0000	1.11
--- null.testsuite	27 May 2005 21:12:28 -0000	1.12
***************
*** 72,73 ****
--- 72,88 ----
    /// package b import a
    String s = foo("");
+ 
+ /// PASS
+   /// Toplevel
+ <W> !W foo(W x, !W y) = y;
+ 
+ /// PASS
+   /// Toplevel
+ <W> !W foo(!W x, W y) = x;
+ 
+ /// PASS
+   /// package a
+   /// Toplevel
+ <T> !T foo(T x, !T y) = x != null ? x : y;
+   /// package b import a
+   String s = foo(null, "");