[Nice-commit] Nice/testsuite/compiler/methods generalization.testsuite,1.3,1.4

[Daniel B. <bo...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8381/testsuite/compiler/methods

Modified Files:
	generalization.testsuite 
Log Message:
Handle new implementations that cover both a new method and an existing method
that new one generalizes.


Index: generalization.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/generalization.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** generalization.testsuite	13 Oct 2004 14:27:49 -0000	1.3
--- generalization.testsuite	13 Oct 2004 15:44:08 -0000	1.4
***************
*** 91,92 ****
--- 91,109 ----
    // as implementing the foo(I) method for C.
  }
+ 
+ /// PASS
+   /// package a
+   /// Toplevel
+ interface A { boolean foo(); }
+ 
+   /// package b import a
+   assert new D().foo();
+   assert test(new D());
+   /// Toplevel
+ abstract interface I { boolean foo(); }
+ <I T> boolean test(T x) = x.foo();
+ 
+ interface a.A implements I;
+ 
+ // New implementation, which should satisfy both methods.
+ class D implements A { foo() = true; }