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

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

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

Modified Files:
	wildcards.testsuite 
Log Message:
Better implementation of wildcards (fixes #1216727).


Index: wildcards.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/wildcards.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** wildcards.testsuite	31 May 2005 07:32:49 -0000	1.3
--- wildcards.testsuite	9 Jun 2005 11:56:59 -0000	1.4
***************
*** 37,40 ****
--- 37,45 ----
  
  
+ /// PASS
+   /// Toplevel
+ class A<T0> { T0 x; }
+ Object foo(A<?> a) = a.x;
+ 
  /// FAIL
    A<int,String> a = new A(x1: 0, x2: "");
***************
*** 74,75 ****
--- 79,140 ----
  void foo(A<?> a) = bar(a.x);
  <T> void bar(T x) {}
+ 
+ /// FAIL
+   A<int> a1 = new A(x: 0);
+   A<String> a2 = new A(x: "");
+   foo(a1, a2);
+   int x = a1.x;
+   /// Toplevel
+ class A<T> { T x; }
+ 
+ void foo(A<int> a1, A<?> a2) = /*/// FAIL HERE */ splash(a1, a2);
+ 
+ <T> void splash(A<T> a1, A<T> a2)
+ {
+   a1.x = a2.x;
+ }
+ 
+ 
+ /// FAIL
+   A<B<String>> a = new A(x: new B(y: ""));
+   /*/// FAIL HERE */ foo(a);
+   String s = a.x.y;
+ 
+   /// Toplevel
+ class A<T> { T x; }
+ class B<T> { T y; }
+ 
+ void foo(A<B<?>> a) { a.x = new B(y: 0); }
+ 
+ /// PASS
+   foo(new A(x: new B(y: "")));
+ 
+   /// Toplevel
+ class A<TA> { TA x; }
+ class B<TB> { TB y; }
+ 
+ void foo(A<B<?>> a) {}
+ 
+ /// FAIL
+   A<String>[] as = [new A(x: "")];
+   /*/// FAIL HERE */ getM(as);
+   String s = as[0].x;
+   /// Toplevel
+ class A<T> { T x; }
+ 
+ void getM(A<?>[] a) { a[0] = new A(x: 0); }
+ 
+ 
+ /// FAIL
+   // bug #1216727
+   /// Toplevel
+ class Cons<TT> {
+   TT head;
+   Cons<TT> tail;
+   boolean isEmpty() = false;
+ }
+ 
+ void _testEmpty(Cons<?> c)
+ {
+   let cc = /*/// FAIL HERE */ new Cons(head: 1, tail: c);
+ }