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
|
