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

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

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv14077/testsuite/compiler/typing

Modified Files:
	alike.testsuite 
Log Message:
Additional testcase for alike, exercising substitution on constructed
monotypes.


Index: alike.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/alike.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** alike.testsuite	25 Jun 2002 07:06:05 -0000	1.1
--- alike.testsuite	18 Dec 2004 17:37:31 -0000	1.2
***************
*** 24,30 ****
  {
    f4(x, y);
!   return x; 
  }
  
  /// FAIL
    /// TOPLEVEL
--- 24,39 ----
  {
    f4(x, y);
!   return x;
  }
  
+ /// PASS
+   /// Toplevel
+ abstract class A
+ {
+   alike foo(List<alike> bar);
+ }
+ 
+ <A T> T bla(T a) = a.foo([a]);
+ 
  /// FAIL
    /// TOPLEVEL