[Nice-commit] Nice/testsuite/compiler/typing inference.testsuite,1.8,1.9

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

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

Modified Files:
	inference.testsuite 
Log Message:
Allow subclasses to have less type parameters than their parent, by
instantiation of some of their type parameters.


Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/inference.testsuite,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** inference.testsuite	22 Apr 2004 10:09:27 -0000	1.8
--- inference.testsuite	12 Aug 2004 23:21:40 -0000	1.9
***************
*** 4,8 ****
    void poly(FOO) {}
  }
! class B<BAR> extends A<FOO> {}
  
  /// PASS
--- 4,8 ----
    void poly(FOO) {}
  }
! class B<BAR> extends A<BAR> {}
  
  /// PASS