[Nice-commit] Nice/testsuite/compiler/typing wildcards.testsuite,1.6,1.7

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

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

Modified Files:
	wildcards.testsuite 
Log Message:
Handle setting the unknown flag on monotype variables that have been frozen.


Index: wildcards.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/wildcards.testsuite,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** wildcards.testsuite	18 Jun 2005 09:58:39 -0000	1.6
--- wildcards.testsuite	21 Jun 2005 18:30:57 -0000	1.7
***************
*** 167,168 ****
--- 167,192 ----
    /// Toplevel
  <T0> T0 foo(T0 x) = x;
+ 
+ 
+ /// FAIL
+   A<?,?> ctx = new A();
+   ctx./*/// FAIL HERE */ get0("bar");
+   /// Toplevel
+ class A<K,V> { }
+ <K, K0, V | K <: K0> void get0(A<K, V>, K0) {}
+ 
+ /// FAIL
+   A<?,?> ctx = new A();
+   ctx./*/// FAIL HERE */ get0("bar");
+   /// Toplevel
+ class A<K,V> { }
+ <K, K0, V0, V | K <: K0, V <: ?V0> ?V0 get0(A<K, V>, K0) = null;
+ 
+ /// FAIL
+   A<String> a = new A(x: "");
+   A<?> ctx = a;
+   ctx./*/// FAIL HERE */ set0(0);
+   String s = a.x;
+   /// Toplevel
+ class A<K> { K x; }
+ <K, K0 | K0 <: K> void set0(A<K> a, K0 v) = a.x = v;