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){
|
