[Nice-commit] Nice/src/bossa/syntax ClassDefinition.java,1.101,1.102

[<ar...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1:/tmp/cvs-serv6452/F:/nice/src/bossa/syntax

Modified Files:
	ClassDefinition.java 
Log Message:
Don't ignore co\contra varariant typeparameters anymore.

Index: ClassDefinition.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/ClassDefinition.java,v
retrieving revision 1.101
retrieving revision 1.102
diff -C2 -d -r1.101 -r1.102
*** ClassDefinition.java	15 Dec 2003 14:04:13 -0000	1.101
--- ClassDefinition.java	19 Dec 2003 18:08:33 -0000	1.102
***************
*** 441,448 ****
  	localScope = new TypeScope(localScope);
          mlsub.typing.TypeSymbol[] binders = getBinders();
- 	//add only nonvariant type parameter so no possibly unsafe co/contra-variant fields can exist.
          for (int i = 0; i < binders.length; i++)
! 	  if (variance.getVariance(i) == mlsub.typing.Variance.INVARIANT)
! 	    localScope.addSymbol(binders[i]);
        }
        catch(TypeScope.DuplicateName e){
--- 441,446 ----
  	localScope = new TypeScope(localScope);
          mlsub.typing.TypeSymbol[] binders = getBinders();
          for (int i = 0; i < binders.length; i++)
! 	  localScope.addSymbol(binders[i]);
        }
        catch(TypeScope.DuplicateName e){