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

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

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1:/tmp/cvs-serv25333/testsuite/compiler/typing

Modified Files:
	optionalParameters.testsuite 
Log Message:
When a default value is used in a method call, use the declared type of that
parameter to compute the resulting type.


Index: optionalParameters.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/optionalParameters.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** optionalParameters.testsuite	25 Jul 2003 16:59:23 -0000	1.1
--- optionalParameters.testsuite	26 Jul 2003 22:29:47 -0000	1.2
***************
*** 6,7 ****
--- 6,11 ----
    int->int f = foo();
  }
+ 
+ /// PASS
+   /// Toplevel
+ <X> boolean f(X x, X->boolean c = X y => x == y) = c(x);