Nice/testsuite/compiler/typing null.testsuite,1.10,1.11

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

Modified Files:
	null.testsuite 
Log Message:
Give the raw variable associated to a type variable with persistent nullness
kind the same name as the original variable.


Index: null.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/null.testsuite,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** null.testsuite	1 Mar 2005 18:56:23 -0000	1.10
--- null.testsuite	27 May 2005 13:59:47 -0000	1.11
***************
*** 61,62 ****
--- 61,73 ----
     }
  }
+ 
+ /// PASS
+   /// package a
+   /// Toplevel
+ <T> !T foo(T x)
+ {
+   assert x != null;
+   return x;
+ }
+   /// package b import a
+   String s = foo("");



-------------------------------------------------------
This SF.Net email is sponsored by Yahoo.
Introducing Yahoo! Search Developer Network - Create apps using Yahoo!
Search APIs Find out how you can build Yahoo! directly into your own
Applications - visit http://developer.yahoo.net/?fr=offad-ysdn-ostg-q22005