[Nice-commit] Nice/testsuite/compiler/methods super.testsuite,1.12,1.13

[<ar...@us...>]

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