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;
|
