Nice/testsuite/compiler/typing wildcards.testsuite,1.3,1.4

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);
+ }



-------------------------------------------------------
This SF.Net email is sponsored by: NEC IT Guy Games.  How far can you shotput
a projector? How fast can you ride your desk chair down the office luge track?
If you want to score the big prize, get to know the little guy.  
Play to win an NEC 61" plasma display: http://www.necitguy.com/?r=20