[Nice-commit] Nice/src/nice/tools/typing Types.java,1.1,1.2

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

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

Modified Files:
	Types.java 
Log Message:
Changed mlsub.typing.Domain so that it contains an array of monotypes instead
of a single monotype (which was normally a tuple type). This is more consistent
with function types having an array of parameters, more efficient, and it
allows for simpler handling of the components of the domain.


Index: Types.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/nice/tools/typing/Types.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** Types.java	25 Feb 2004 11:23:28 -0000	1.1
--- Types.java	26 Feb 2004 22:17:36 -0000	1.2
***************
*** 172,176 ****
      Monotype[] m = parameters(t.getMonotype());
  
!     return new Domain(t.getConstraint(), new TupleType(m));
    }
  }
--- 172,176 ----
      Monotype[] m = parameters(t.getMonotype());
  
!     return new Domain(t.getConstraint(), m);
    }
  }