[Nice-commit] Nice/src/nice/tools/typing Types.java,1.11,1.12

[Arjan B. <ar...@us...>]

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

Modified Files:
	Types.java 
Log Message:
Cleanup and preparation for Monotype conversion.

Index: Types.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/nice/tools/typing/Types.java,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** Types.java	1 Dec 2004 02:43:53 -0000	1.11
--- Types.java	12 Jan 2005 18:50:35 -0000	1.12
***************
*** 117,120 ****
--- 117,126 ----
    }
  
+   public static mlsub.typing.Monotype maybeMonotype(mlsub.typing.Monotype type)
+   {
+     return new mlsub.typing.MonotypeConstructor
+       (PrimitiveType.maybeTC, new mlsub.typing.Monotype[]{type});
+   }
+ 
    /****************************************************************
     * Functional types