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);
}
}
|
