Nice/testsuite/compiler/typing void.testsuite,1.5,1.6 instanceof.testsuite,1.23,1.24 dti.testsuite,1.11,1.12 coverage.testsuite,1.4,1.5 alike.testsuite,1.3,1.4 abstractInterfaces.testsuite,1.5,1.6
Daniel Bonniot <[email protected]> Sat, 12 Mar 2005 16:33:38 +0000
| Newsgroups | gmane.comp.lang.nice.cvs |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2140/testsuite/compiler/typing
Modified Files:
void.testsuite instanceof.testsuite dti.testsuite
coverage.testsuite alike.testsuite
abstractInterfaces.testsuite
Log Message:
Added expected failure positions.
Index: coverage.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/coverage.testsuite,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** coverage.testsuite 1 Mar 2005 18:56:23 -0000 1.4
--- coverage.testsuite 12 Mar 2005 16:33:35 -0000 1.5
***************
*** 12,16 ****
/// FAIL
/// TOPLEVEL
! void method3(String->String);
/// PASS
--- 12,16 ----
/// FAIL
/// TOPLEVEL
! void /* ///FAIL HERE */ method3(String->String);
/// PASS
Index: abstractInterfaces.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/abstractInterfaces.testsuite,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** abstractInterfaces.testsuite 1 Mar 2005 18:56:22 -0000 1.5
--- abstractInterfaces.testsuite 12 Mar 2005 16:33:35 -0000 1.6
***************
*** 37,41 ****
}
class A implements I {}
! f(A x) = new A();
/// PASS
--- 37,41 ----
}
class A implements I {}
! f(A x) = /* ///FAIL HERE */ new A();
/// PASS
***************
*** 63,67 ****
/// Toplevel
// We now accept that there are two incomparable nodes that implement
! // an abstract interface, abive a node that could approximate for that
// interface. There is just no approximation in that case.
abstract interface I { alike foo(); }
--- 63,67 ----
/// Toplevel
// We now accept that there are two incomparable nodes that implement
! // an abstract interface, above a node that could approximate for that
// interface. There is just no approximation in that case.
abstract interface I { alike foo(); }
***************
*** 74,78 ****
var B b = new X();
! foo(X x) = b;
/// PASS
--- 74,78 ----
var B b = new X();
! /* ///FAIL HERE */ foo(X x) = b;
/// PASS
Index: dti.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/dti.testsuite,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** dti.testsuite 12 Mar 2005 02:41:41 -0000 1.11
--- dti.testsuite 12 Mar 2005 16:33:35 -0000 1.12
***************
*** 159,163 ****
foo();
foo();
! t.substring(1);
/// PASS bug
--- 159,163 ----
foo();
foo();
! t. /*/// FAIL HERE*/ substring(1);
/// PASS bug
Index: instanceof.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/instanceof.testsuite,v
retrieving revision 1.23
retrieving revision 1.24
diff -C2 -d -r1.23 -r1.24
*** instanceof.testsuite 30 Jul 2004 19:08:41 -0000 1.23
--- instanceof.testsuite 12 Mar 2005 16:33:35 -0000 1.24
***************
*** 20,24 ****
assert false;
else
! assert a.life == 42;
/// FAIL
--- 20,24 ----
assert false;
else
! assert a. /* ///FAIL HERE */ life == 42;
/// FAIL
***************
*** 26,31 ****
a = new B();
if (a instanceof B)
! ;
! assert a.life == 42;
/// PASS
--- 26,31 ----
a = new B();
if (a instanceof B)
! {}
! assert a. /* ///FAIL HERE */ life == 42;
/// PASS
***************
*** 57,61 ****
if (i == 42)
a = new A();
! i = a.life;
}
--- 57,61 ----
if (i == 42)
a = new A();
! i = a. /* ///FAIL HERE */ life;
}
***************
*** 91,95 ****
if (i == 42)
a = new A();
! i = a.life;
break;
}
--- 91,95 ----
if (i == 42)
a = new A();
! i = a. /* ///FAIL HERE */ life;
break;
}
***************
*** 98,107 ****
B b = new B();
if (b instanceof A)
! b = new A();
/// FAIL
Y y = new D();
if (y instanceof X)
! y = new C();
/// Toplevel
interface X {}
--- 98,112 ----
B b = new B();
if (b instanceof A)
! /* ///FAIL HERE */ b = new A();
! /* XXX Check error message. Last time checked it was
! [nicec] Incorrect type in assignment to b
! [nicec] Found : global.A
! [nicec] Expected: global.A
! */
/// FAIL
Y y = new D();
if (y instanceof X)
! /* ///FAIL HERE */ y = new C();
/// Toplevel
interface X {}
***************
*** 202,206 ****
X<String> foo = new X();
if (foo instanceof Y)
! foo.bar();
/// Toplevel
--- 207,211 ----
X<String> foo = new X();
if (foo instanceof Y)
! foo. /* ///FAIL HERE */ bar();
/// Toplevel
***************
*** 310,314 ****
if (f != null)
f();
! assert x.life == 42;
}
--- 315,319 ----
if (f != null)
f();
! assert x. /* ///FAIL HERE */ life == 42;
}
***************
*** 368,371 ****
if (o instanceof String[])
{
! ?java.io.File[] s = o;
}
--- 373,376 ----
if (o instanceof String[])
{
! ?java.io.File[] /* ///FAIL HERE */ s = o;
}
Index: void.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/void.testsuite,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** void.testsuite 7 Mar 2005 17:10:49 -0000 1.5
--- void.testsuite 12 Mar 2005 16:33:35 -0000 1.6
***************
*** 48,64 ****
/// FAIL
! void x;
/// FAIL
/// Toplevel
! var void x;
/// FAIL
/// Toplevel
! void f(void x) {}
/// FAIL
/// Toplevel
! void f(void) {}
/// PASS
--- 48,64 ----
/// FAIL
! void /*///FAIL HERE*/ x;
/// FAIL
/// Toplevel
! var void /*///FAIL HERE*/ x = println("");
/// FAIL
/// Toplevel
! void f(/*///FAIL HERE*/ void x) {}
/// FAIL
/// Toplevel
! void f(/*///FAIL HERE*/ void) {}
/// PASS
***************
*** 91,100 ****
/// FAIL
! let x = foo();
/// Toplevel
void foo() {}
/// FAIL
! var x = foo();
/// Toplevel
void foo() {}
--- 91,100 ----
/// FAIL
! let /*///FAIL HERE*/ x = foo();
/// Toplevel
void foo() {}
/// FAIL
! var /*///FAIL HERE*/ x = foo();
/// Toplevel
void foo() {}
Index: alike.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/alike.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** alike.testsuite 1 Mar 2005 18:56:23 -0000 1.3
--- alike.testsuite 12 Mar 2005 16:33:35 -0000 1.4
***************
*** 38,40 ****
/// FAIL
/// TOPLEVEL
! alike f3(alike);
--- 38,40 ----
/// FAIL
/// TOPLEVEL
! alike f3(/*///FAIL HERE*/ alike);
-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click