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

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

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

Modified Files:
	generalization.testsuite 
Log Message:
When generalizing an imported method, requalify its default patterns.


Index: generalization.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/generalization.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** generalization.testsuite	12 Oct 2004 23:35:48 -0000	1.2
--- generalization.testsuite	13 Oct 2004 14:27:49 -0000	1.3
***************
*** 70,71 ****
--- 70,92 ----
  
  <Addable A, T> void addTwice(A<T> a, T e) { a.add(e); a.add(e); }
+ 
+ /// FAIL
+   /// package a
+   /// Toplevel
+ interface A { void foo() {} }
+ 
+   /// package b import a
+   new C().doAdd();
+   /// Toplevel
+ class B { void foo() {} }
+ 
+ abstract interface I { void /*/// FAIL HERE */ foo(); }
+ <I T> void doAdd(T x) = x.foo();
+ 
+ interface a.A implements I;
+ 
+ class C extends B implements I {
+   // Missing implementation of foo.
+   // Another option would be to accept the foo(B) implementation
+   // as implementing the foo(I) method for C.
+ }