Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv27004/F:/nice/testsuite/compiler/methods
Modified Files:
super.testsuite
Log Message:
Type(constructors) can be passed to an SuperExp to resolve ambigiuties.
Index: super.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/super.testsuite,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** super.testsuite 25 Oct 2003 20:34:37 -0000 1.12
--- super.testsuite 5 Feb 2004 23:00:04 -0000 1.13
***************
*** 248,249 ****
--- 248,267 ----
f(a) = 1;
}
+
+ /// PASS
+ assert foo(new Bottom());
+ /// Toplevel
+ interface Top {}
+ interface Left extends Top {}
+ interface Right extends Top {}
+ class Bottom implements Left, Right {}
+ boolean foo(Top x);
+ foo(Left x) = false;
+ foo(Right x) = true;
+ foo(Bottom x) = super(Right);
+
+ /// FAIL
+ /// Toplevel
+ void m(A);
+ m(A x) {}
+ m(B x) { /*///FAIL HERE */super(A,A); }
|
