diff options
Diffstat (limited to 'textproc/sml-fxp/files/src-Util-util.cm')
| -rw-r--r-- | textproc/sml-fxp/files/src-Util-util.cm | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/textproc/sml-fxp/files/src-Util-util.cm b/textproc/sml-fxp/files/src-Util-util.cm new file mode 100644 index 000000000000..4c0142cea266 --- /dev/null +++ b/textproc/sml-fxp/files/src-Util-util.cm @@ -0,0 +1,38 @@ +Group + signature IntSets + structure IntSets + signature Options + structure Options + signature UtilCompare + structure UtilCompare + signature UtilError + structure UtilError + signature UtilHash + structure UtilHash + signature UtilInt + structure UtilInt + signature UtilList + structure UtilList + signature UtilString + structure UtilString +is + intLists.sml + +#if (SMLNJ_MINOR_VERSION > 40) + intSets.sml + utilString.sml + utilTime.sml + $/basis.cm +#else + intSets.orig.sml + utilString.orig.sml + utilTime.orig.sml +#endif + + options.sml + utilCompare.sml + utilError.sml + utilHash.sml + utilInt.sml + utilList.sml + |