Update of /cvsroot/nice/Nice/testsuite/compiler/methods
In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv28056/testsuite/compiler/methods
Modified Files:
generalization.testsuite
Log Message:
Take care of primitive types when deciding of method generalization (fixes bug #1509635).
Index: generalization.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/generalization.testsuite,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** generalization.testsuite 8 Mar 2005 16:03:24 -0000 1.5
--- generalization.testsuite 25 Nov 2007 17:12:31 -0000 1.6
***************
*** 158,159 ****
--- 158,171 ----
// New implementation, which should satisfy both methods.
class D implements A { foo() = true; }
+
+
+ /// PASS
+ // bug #1509635
+ /// package a
+ /// Toplevel
+ int foo(int x) = x;
+
+ /// package b import a
+ assert foo(3.3) == 4.3;
+ /// Toplevel
+ double foo(double x) = x + 1;
|