Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1:/tmp/cvs-serv8372/testsuite/compiler/typing
Modified Files:
matching.testsuite
Log Message:
Method parameters that are not dispatched on get their declared type.
This avoids some type errors, and simplifies error messages.
Index: matching.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/matching.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** matching.testsuite 25 Jun 2002 07:06:05 -0000 1.1
--- matching.testsuite 29 Aug 2003 16:08:11 -0000 1.2
***************
*** 9,10 ****
--- 9,27 ----
f(x#M) = new M();
+
+ /// PASS
+ /// Toplevel
+ let Packet NO_PACKET = new Packet();
+
+ class Packet {
+ private Packet link = NO_PACKET;
+
+ void addTo(Packet);
+ }
+
+
+ addTo(this@Packet, queue)
+ {
+ var next = queue;
+ next = next.link;
+ }
|
