[Nice-commit] Nice/src/mlsub/typing TypeConstructorLeqMonotypeCst.java,1.3,1.4

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

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