[Nice-commit] Nice/src/mlsub/typing TypeConstructor.java,1.18,1.19

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

Update of /cvsroot/nice/Nice/src/mlsub/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5448/src/mlsub/typing

Modified Files:
	TypeConstructor.java 
Log Message:
Fix classes whose parent has less type parameters that the grand-parent,
by creating a new TypeConstructor when this is discovered (fixes #1097571).


Index: TypeConstructor.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/TypeConstructor.java,v
retrieving revision 1.18
retrieving revision 1.19
diff -C2 -d -r1.18 -r1.19
*** TypeConstructor.java	17 Mar 2004 16:55:34 -0000	1.18
--- TypeConstructor.java	16 Feb 2005 22:34:50 -0000	1.19
***************
*** 93,96 ****
--- 93,101 ----
    }
  
+   public void discard()
+   {
+     variance.getConstraint().discard(this);
+   }
+ 
    public int arity()
    {