[Nice-commit] Nice/testsuite/compiler/typing matching.testsuite,1.1,1.2

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

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