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

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

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

Added Files:
	optionalParameters.testsuite 
Log Message:
When cloning the type of a method, also clone the type symbols in the 
arguments types (which can share type parameters, in case of default values
that refer to quantified type variables, like anonymous functions).


--- NEW FILE: optionalParameters.testsuite ---
/// PASS
  /// Toplevel
<T> T->T foo(T->T f = T x => x) = f;
<X> void bar()
{
  int->int f = foo();
}