[Nice-commit] Nice/src/mlsub/typing TupleType.java,1.5,1.6 FunType.java,1.8,1.9

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

Update of /cvsroot/nice/Nice/src/mlsub/typing
In directory sc8-pr-cvs1:/tmp/cvs-serv11335/src/mlsub/typing

Modified Files:
	TupleType.java FunType.java 
Log Message:
Fix type simplification for arrows and tuples.


Index: TupleType.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/TupleType.java,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** TupleType.java	26 Jul 2002 16:10:46 -0000	1.5
--- TupleType.java	28 Feb 2003 20:52:12 -0000	1.6
***************
*** 91,95 ****
    Monotype canonify()
    {
!     Monotype.canonify(types);
      return this;
    }
--- 91,95 ----
    Monotype canonify()
    {
!     types = Monotype.canonify(types);
      return this;
    }

Index: FunType.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/FunType.java,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** FunType.java	7 Oct 2002 12:34:46 -0000	1.8
--- FunType.java	28 Feb 2003 20:52:13 -0000	1.9
***************
*** 127,131 ****
    {
      out = out.canonify();
!     Monotype.canonify(in);
      return this;
    }
--- 127,131 ----
    {
      out = out.canonify();
!     in = Monotype.canonify(in);
      return this;
    }