Nice/src/mlsub/typing TypeConstructorLeqMonotypeCst.java,1.2,1.3

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

Modified Files:
        TypeConstructorLeqMonotypeCst.java 
Log Message:
Use the Types.rawType, since this is higher-level, and better documenting.


Index: TypeConstructorLeqMonotypeCst.java
===================================================================
RCS file: 
/cvsroot/nice/Nice/src/mlsub/typing/TypeConstructorLeqMonotypeCst.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** TypeConstructorLeqMonotypeCst.java  22 Aug 2002 18:02:03 -0000      1.2
--- TypeConstructorLeqMonotypeCst.java  19 Jun 2003 15:32:00 -0000      1.3
***************
*** 60,64 ****
    {
      // Use the raw type of t2, after the nullness marker.
!     Typing.leq(t1, ((MonotypeConstructor) t2.equivalent()).getTP()[0]);
    }
    
--- 60,64 ----
    {
      // Use the raw type of t2, after the nullness marker.
!     Typing.leq(t1, nice.tools.code.Types.rawType(t2));
    }
    




-------------------------------------------------------
This SF.Net email is sponsored by: INetU
Attention Web Developers & Consultants: Become An INetU Hosting Partner.
Refer Dedicated Servers. We Manage Them. You Get 10% Monthly Commission!
INetU Dedicated Managed Hosting http://www.inetu.net/partner/index.php