[Nice-commit] Nice/testsuite/compiler/typing object.testsuite,1.3,1.4

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

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1:/tmp/cvs-serv24923/testsuite/compiler/typing

Modified Files:
	object.testsuite 
Log Message:
Make sure that type variables that have been deconstructed are correctly
recognized as rigid.


Index: object.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/object.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** object.testsuite	11 Dec 2003 23:41:55 -0000	1.3
--- object.testsuite	12 Dec 2003 19:24:53 -0000	1.4
***************
*** 72,73 ****
--- 72,80 ----
    ?Object[] o1 = new Object[1];
    Object[] o0 = new Object[0];
+ 
+ /// FAIL
+   String s = foo("");
+   /// Toplevel
+   let Object o = 2;
+   <T> T foo(T x) = x;
+   foo(#String s) = /*/// FAIL HERE*/ o;