Update of /cvsroot/nice/Nice/src/mlsub/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv27227/src/mlsub/typing
Modified Files:
TypeConstructorLeqMonotypeCst.java
Log Message:
Separated high-level type operations (in nice.tools.typing.Types) from
the ones related to code generation (in nice.tools.code.Types).
Index: TypeConstructorLeqMonotypeCst.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/TypeConstructorLeqMonotypeCst.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** TypeConstructorLeqMonotypeCst.java 19 Jun 2003 15:32:00 -0000 1.3
--- TypeConstructorLeqMonotypeCst.java 25 Feb 2004 11:23:28 -0000 1.4
***************
*** 60,64 ****
{
// Use the raw type of t2, after the nullness marker.
! Typing.leq(t1, nice.tools.code.Types.rawType(t2));
}
--- 60,64 ----
{
// Use the raw type of t2, after the nullness marker.
! Typing.leq(t1, nice.tools.typing.Types.rawType(t2));
}
|
