Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1:/tmp/cvs-serv14897/testsuite/compiler/methods
Modified Files:
parameterTypeNaming.testsuite
Log Message:
The first testcase was not safe, as shown by the new testcase. Mark the other
as bug for now, it should be possible to handle it in a slightly different
form.
Index: parameterTypeNaming.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/parameterTypeNaming.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** parameterTypeNaming.testsuite 28 Apr 2003 20:57:52 -0000 1.3
--- parameterTypeNaming.testsuite 8 Dec 2003 19:46:09 -0000 1.4
***************
*** 1,3 ****
! /// PASS
/// Toplevel
<Collection C, T, U> C<U> bar(C<T>, T->U);
--- 1,27 ----
! /// FAIL
! B /* FAIL HERE*/ b = bar(new B());
! /// Toplevel
! interface I {}
! <I T> T foo(T);
!
! <I T> T bar(T t);
!
! class A implements I {}
! bar(#A x) = x;
! foo(#A x) = x;
!
! <T> bar(x@B : X)
! {
! X /*/// FAIL HERE*/ res = foo(x);
! bug(res);
! return res;
! }
!
! class B extends A {
! void bug() {}
! }
! foo(#B) = new A();
!
! /// PASS bug
/// Toplevel
<Collection C, T, U> C<U> bar(C<T>, T->U);
|
