Menu
▾
▴
[MLton-commit] r4891
|
From: Vesa K. <ve...@ml...> - 2006-12-01 00:29:35
|
Updated use files.
----------------------------------------------------------------------
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use
A mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/extensions.use
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
----------------------------------------------------------------------
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use 2006-12-01 04:35:07 UTC (rev 4890)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/extensions.use 2006-12-01 08:29:34 UTC (rev 4891)
@@ -0,0 +1,9 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+val () =
+ app use
+ ["detail/ext.sml"]
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use 2006-12-01 04:35:07 UTC (rev 4890)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/polyml/forget.use 2006-12-01 08:29:34 UTC (rev 4891)
@@ -5,15 +5,17 @@
*)
val () =
- app PolyML.Compiler.forgetFunctor
- ["MkIntInfExt",
- "MkIntegerExt",
- "MkRealExt",
- "MkWordExt",
- "MkSeqCommonExt",
- "MkMonoSeqCommonExt",
- "MkMonoVectorExt",
- "MkMonoVectorSliceExt",
- "MkMonoArrayExt",
- "MkMonoArraySliceExt",
- "MkTextExt"]
+ (app PolyML.Compiler.forgetFunctor
+ ["MkIntInfExt",
+ "MkIntegerExt",
+ "MkRealExt",
+ "MkWordExt",
+ "MkSeqCommonExt",
+ "MkMonoSeqCommonExt",
+ "MkMonoVectorExt",
+ "MkMonoVectorSliceExt",
+ "MkMonoArrayExt",
+ "MkMonoArraySliceExt",
+ "MkTextExt"]
+ ; app PolyML.Compiler.forgetStructure
+ ["Ext"])
Added: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/extensions.use 2006-12-01 04:35:07 UTC (rev 4890)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/extensions.use 2006-12-01 08:29:34 UTC (rev 4891)
@@ -0,0 +1,9 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+val () =
+ app use
+ ["detail/smlnj/ext.sml"]
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-12-01 04:35:07 UTC (rev 4890)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-12-01 08:29:34 UTC (rev 4891)
@@ -4,82 +4,91 @@
* See the file MLton-LICENSE for details.
*)
-local
+val () = let
val compiler =
case OS.Process.getEnv "SML_COMPILER" of
SOME c => c
| NONE => raise Fail "The SML_COMPILER env var isn't defined"
in
- val () =
- app use
- [(* NOTE: Order matters. *)
-
- (* Workarounds (if any) *)
- "detail/"^compiler^"/workarounds.use",
-
- (* New {Iso :> ISO} and {Emb :> EMB} modules *)
- "public/emb.sig",
- "detail/emb.sml",
- "public/iso.sig",
- "detail/iso.sml",
-
- (* Extension functors *)
- "detail/mk-integer-ext.fun",
- "detail/mk-int-inf-ext.fun",
- "detail/mk-real-ext.fun",
- "detail/mk-word-ext.fun",
- "detail/mk-seq-common-ext.fun",
- "detail/mk-mono-seq-common-ext.fun",
- "detail/mk-mono-vector-ext.fun",
- "detail/mk-mono-vector-slice-ext.fun",
- "detail/mk-mono-array-ext.fun",
- "detail/mk-mono-array-slice-ext.fun",
- "detail/mk-text-ext.fun",
-
- (* Extended signatures *)
- "public/bool.sig",
- "public/option.sig",
- "public/int-inf.sig",
- "public/integer.sig",
- "public/real.sig",
- "public/word.sig",
- "public/list.sig",
- "public/vector.sig",
- "public/vector-slice.sig",
- "public/array.sig",
- "public/array-slice.sig",
- "public/mono-vector.sig",
- "public/mono-vector-slice.sig",
- "public/mono-array.sig",
- "public/mono-array-slice.sig",
- "public/char.sig",
- "public/string.sig",
- "public/substring.sig",
- "public/text.sig",
-
- (* Extended modules *)
- "detail/bool.sml",
- "detail/option.sml",
- "detail/list.sml",
- "detail/vector.sml",
- "detail/vector-slice.sml",
- "detail/array.sml",
- "detail/array-slice.sml",
- "detail/common.sml",
- "detail/"^compiler^"/ints.sml",
- "detail/"^compiler^"/reals.sml",
- "detail/"^compiler^"/words.sml",
- "detail/"^compiler^"/mono-vectors.sml",
- "detail/"^compiler^"/mono-vector-slices.sml",
- "detail/"^compiler^"/mono-arrays.sml",
- "detail/"^compiler^"/mono-array-slices.sml",
- "detail/"^compiler^"/texts.sml",
-
- (* Forget implementation details (if possible) *)
- "detail/"^compiler^"/forget.use",
-
- (* Export filter *)
- "public/export-"^compiler^".sml",
- "public/export.sml",
- "public/top-level.sml"]
+ app use
+ ["detail/"^compiler^"/workarounds.use",
+ "detail/bootstrap.sml",
+ "detail/"^compiler^"/extensions.use",
+ "public/fn.sig", "detail/fn.sml",
+ "public/unit.sig",
+ "public/sq.sig", "detail/sq.sml",
+ "public/un-op.sig", "detail/un-op.sml",
+ "public/thunk.sig", "detail/thunk.sml",
+ "public/univ.sig", "detail/univ.sml",
+ "public/bin-op.sig", "detail/bin-op.sml",
+ "public/effect.sig", "detail/effect.sml",
+ "public/fix.sig", "detail/fix.sml",
+ "public/un-pr.sig", "detail/un-pr.sml",
+ "public/order.sig", "detail/order.sml",
+ "public/bin-pr.sig", "detail/bin-pr.sml",
+ "public/cmp.sig", "detail/cmp.sml",
+ "public/ref.sig", "detail/ref.sml",
+ "public/bool.sig", "detail/bool.sml",
+ "public/product-type.sig",
+ "public/pair.sig",
+ "detail/pair.sml",
+ "public/product.sig",
+ "detail/product.sml",
+ "public/sum.sig", "detail/sum.sml",
+ "public/exn.sig", "detail/exn.sml",
+ "public/emb.sig", "detail/emb.sml",
+ "public/iso.sig", "detail/iso.sml",
+ "public/tie.sig", "detail/tie.sml",
+ "detail/mk-seq-common-ext.fun",
+ "public/array.sig",
+ "detail/array.sml",
+ "public/array-slice.sig",
+ "detail/array-slice.sml",
+ "public/vector.sig",
+ "detail/vector.sml",
+ "public/vector-slice.sig",
+ "detail/vector-slice.sml",
+ "public/option.sig", "detail/option.sml",
+ "public/list.sig", "detail/list.sml",
+ "public/buffer.sig", "detail/buffer.sml",
+ "public/reader.sig", "detail/reader.sml",
+ "public/writer.sig", "detail/writer.sml",
+ "public/exit.sig", "detail/exit.sml",
+ "detail/mk-integer-ext.fun",
+ "detail/mk-int-inf-ext.fun",
+ "detail/mk-real-ext.fun",
+ "detail/mk-word-ext.fun",
+ "public/int-inf.sig",
+ "public/integer.sig",
+ "public/real.sig",
+ "public/word.sig",
+ "detail/common-scalars.sml",
+ "detail/"^compiler^"/ints.sml",
+ "detail/"^compiler^"/reals.sml",
+ "detail/"^compiler^"/words.sml",
+ "detail/mk-mono-seq-common-ext.fun",
+ "detail/mk-mono-vector-ext.fun",
+ "detail/mk-mono-vector-slice-ext.fun",
+ "detail/mk-mono-array-ext.fun",
+ "detail/mk-mono-array-slice-ext.fun",
+ "detail/mk-text-ext.fun",
+ "public/mono-vector.sig",
+ "public/mono-vector-slice.sig",
+ "public/mono-array.sig",
+ "public/mono-array-slice.sig",
+ "public/char.sig",
+ "public/string.sig",
+ "public/substring.sig",
+ "public/text.sig",
+ "detail/common-mono-seqs.sml",
+ "detail/"^compiler^"/mono-vectors.sml",
+ "detail/"^compiler^"/mono-vector-slices.sml",
+ "detail/"^compiler^"/mono-arrays.sml",
+ "detail/"^compiler^"/mono-array-slices.sml",
+ "detail/"^compiler^"/texts.sml",
+ "detail/"^compiler^"/forget.use",
+ "public/export-"^compiler^".sml",
+ "public/export.sml",
+ "public/top-level.sml",
+ "public/infixes.sml"]
end
|
