[MLton-commit] r6132

Vesa Karvonen vesak at mlton.org
Wed Nov 7 17:05:52 PST 2007


Changed use files to use the UseLib (in org/mlton/vesak/use-lib).
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/basis.use
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/extensions.use
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/workarounds.use
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/basis.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/basis.use	2007-11-08 01:01:44 UTC (rev 6131)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/basis.use	2007-11-08 01:05:52 UTC (rev 6132)
@@ -8,4 +8,5 @@
  * directory of this library (the directory of this file).
  *)
 
-val () = use "extensions.use"
+lib {reqs = ["extensions.use"],
+     self = []} ;

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/extensions.use	2007-11-08 01:01:44 UTC (rev 6131)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/extensions.use	2007-11-08 01:05:52 UTC (rev 6132)
@@ -6,4 +6,4 @@
 
 val () =
     app use
-        ["detail/smlnj/ext.sml"]
+        ["detail/ml/smlnj/ext.sml"]

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/workarounds.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/workarounds.use	2007-11-08 01:01:44 UTC (rev 6131)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/smlnj/workarounds.use	2007-11-08 01:05:52 UTC (rev 6132)
@@ -5,12 +5,13 @@
  *)
 
 val () =
-    app (fn file => use ("detail/smlnj/workarounds/"^file))
+    app (fn file => use ("detail/ml/smlnj/workarounds/"^file))
         ["mk-real-sane.fun",
+         "char.sig",
          "real.sig",
          "reals.sml",
-         "mk-word-sane.fun",
-         "word.sig",
-         "words.sml"]
+         "string.sig",
+         "text.sig",
+         "text.sml"]
 
 (* XXX Is there a way to "forget" top-level bindings in SML/NJ? *)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2007-11-08 01:01:44 UTC (rev 6131)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2007-11-08 01:05:52 UTC (rev 6132)
@@ -4,168 +4,161 @@
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
-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
-   app use
-       ["detail/ml/"^compiler^"/workarounds.use",
-        "detail/ml/common/basis.sml",
-        "detail/ml/"^compiler^"/basis.sml",
-        "detail/bootstrap.sml",
-        "detail/ml/"^compiler^"/extensions.use",
-        "public/concept/bitwise.sig",
-        "public/concept/bounded.sig",
-        "public/concept/cased.sig",
-        "public/concept/cstringable.sig",
-        "public/concept/equality.sig",
-        "public/concept/flags.sig",
-        "public/concept/func.sig",
-        "public/concept/intable.sig",
-        "public/concept/largeable.sig",
-        "public/concept/monad.sig",
-        "public/concept/ordered.sig",
-        "public/concept/scannable.sig",
-        "public/concept/shiftable.sig",
-        "public/concept/signed.sig",
-        "public/concept/stringable.sig",
-        "public/concept/t.sig",
-        "public/concept/wordable.sig",
-        "public/concept/formattable.sig",
-        "detail/concept/mk-bounded.fun",
-        "detail/concept/mk-equality.fun",
-        "detail/concept/mk-scannable.fun",
-        "detail/concept/mk-stringable.fun",
-        "detail/concept/mk-cstringable.fun",
-        "public/data/void.sig",
-        "public/fn/fn.sig",
-        "detail/fn/fn.sml",
-        "public/basic.sig",
-        "detail/basic.sml",
-        "public/data/unit.sig",
-        "public/data/sq.sig",
-        "detail/data/sq.sml",
-        "public/fn/bin-fn.sig",
-        "detail/fn/bin-fn.sml",
-        "public/fn/un-op.sig",
-        "detail/fn/un-op.sml",
-        "public/fn/thunk.sig",
-        "detail/fn/thunk.sml",
-        "public/data/univ.sig",
-        "detail/data/univ-ref.sml",
-        "detail/data/univ-exn.sml",
-        "detail/ml/"^compiler^"/univ.sml",
-        "public/fn/bin-op.sig",
-        "detail/fn/bin-op.sml",
-        "public/fn/effect.sig",
-        "detail/fn/effect.sml",
-        "public/generic/fix.sig",
-        "detail/generic/fix.sml",
-        "public/fn/un-pr.sig",
-        "detail/fn/un-pr.sml",
-        "public/data/order.sig",
-        "detail/data/order.sml",
-        "public/fn/bin-pr.sig",
-        "detail/fn/bin-pr.sml",
-        "public/fn/cmp.sig",
-        "detail/fn/cmp.sml",
-        "detail/concept/mk-ordered.fun",
-        "public/data/ref.sig",
-        "detail/data/ref.sml",
-        "public/data/bool.sig",
-        "detail/data/bool.sml",
-        "public/data/product-type.sig",
-        "public/data/pair.sig",
-        "detail/data/pair.sml",
-        "public/data/product.sig",
-        "detail/data/product.sml",
-        "public/fold/fold.sig",
-        "detail/fold/fold.sml",
-        "detail/concept/mk-monad.fun",
-        "public/control/with.sig",
-        "detail/control/with.sml",
-        "public/data/sum.sig",
-        "detail/data/sum.sml",
-        "public/control/exn.sig",
-        "detail/control/exn.sml",
-        "public/generic/emb.sig",
-        "detail/generic/emb.sml",
-        "public/generic/iso.sig",
-        "detail/generic/iso.sml",
-        "public/generic/tie.sig",
-        "detail/generic/tie.sml",
-        "public/sequence/array.sig",
-        "public/sequence/array-slice.sig",
-        "public/sequence/vector.sig",
-        "public/sequence/vector-slice.sig",
-        "detail/sequence/mk-seq-common-ext.fun",
-        "detail/sequence/array.sml",
-        "detail/sequence/array-slice.sml",
-        "detail/sequence/vector.sml",
-        "detail/sequence/vector-slice.sml",
-        "public/data/option.sig",
-        "detail/data/option.sml",
-        "public/numeric/integer.sig",
-        "public/numeric/int-inf.sig",
-        "public/numeric/real.sig",
-        "public/numeric/word.sig",
-        "detail/numeric/mk-integer-ext.fun",
-        "detail/numeric/mk-int-inf-ext.fun",
-        "detail/numeric/mk-real-ext.fun",
-        "detail/numeric/mk-word-ext.fun",
-        "detail/ml/common/scalars.sml",
-        "detail/ml/"^compiler^"/ints.sml",
-        "detail/ml/"^compiler^"/reals.sml",
-        "detail/ml/"^compiler^"/words.sml",
-        "public/sequence/list.sig",
-        "detail/sequence/list.sml",
-        "public/sequence/buffer.sig",
-        "detail/sequence/mk-buffer-common.fun",
-        "detail/sequence/buffer.sml",
-        "public/sequence/resizable-array.sig",
-        "detail/sequence/resizable-array.sml",
-        "public/io/reader.sig",
-        "detail/io/reader.sml",
-        "public/io/writer.sig",
-        "detail/io/writer.sml",
-        "public/io/ios-monad.sig",
-        "detail/io/ios-monad.sml",
-        "public/control/exit.sig",
-        "detail/control/exit.sml",
-        "public/sequence/mono-vector.sig",
-        "public/sequence/mono-vector-slice.sig",
-        "public/sequence/mono-array.sig",
-        "public/sequence/mono-array-slice.sig",
-        "public/text/char.sig",
-        "public/text/string.sig",
-        "public/text/substring.sig",
-        "public/text/text.sig",
-        "detail/sequence/mk-mono-seq-common-ext.fun",
-        "detail/sequence/mk-mono-vector-ext.fun",
-        "detail/sequence/mk-mono-vector-slice-ext.fun",
-        "detail/sequence/mk-mono-array-ext.fun",
-        "detail/sequence/mk-mono-array-slice-ext.fun",
-        "detail/text/mk-text-ext.fun",
-        "detail/ml/common/mono-seqs.sml",
-        "detail/ml/"^compiler^"/mono-vectors.sml",
-        "detail/ml/"^compiler^"/mono-vector-slices.sml",
-        "detail/ml/"^compiler^"/mono-arrays.sml",
-        "detail/ml/"^compiler^"/mono-array-slices.sml",
-        "detail/ml/"^compiler^"/texts.sml",
-        "public/sequence/stream.sig",
-        "detail/sequence/stream.sml",
-        "public/lazy/lazy.sig",
-        "detail/lazy/lazy.sml",
-        "public/fn/shift-op.sig",
-        "public/io/text-io.sig",
-        "detail/io/text-io.sml",
-        "detail/concept/mk-word-flags.fun",
-        "detail/ml/"^compiler^"/forget.use",
-        "public/export/"^compiler^".sml",
-        "public/export/common.sml",
-        "public/export/top-level.sml",
-        "public/export/infixes.sml",
-        "public/export/open-top-level.sml"]
-end
+lib {reqs = [],
+     self = ["detail/ml/$(SML_COMPILER)/workarounds.use",
+             "detail/ml/common/basis.sml",
+             "detail/ml/$(SML_COMPILER)/basis.sml",
+             "detail/bootstrap.sml",
+             "detail/ml/$(SML_COMPILER)/extensions.use",
+             "public/concept/bitwise.sig",
+             "public/concept/bounded.sig",
+             "public/concept/cased.sig",
+             "public/concept/cstringable.sig",
+             "public/concept/equality.sig",
+             "public/concept/flags.sig",
+             "public/concept/func.sig",
+             "public/concept/intable.sig",
+             "public/concept/largeable.sig",
+             "public/concept/monad.sig",
+             "public/concept/ordered.sig",
+             "public/concept/scannable.sig",
+             "public/concept/shiftable.sig",
+             "public/concept/signed.sig",
+             "public/concept/stringable.sig",
+             "public/concept/t.sig",
+             "public/concept/wordable.sig",
+             "public/concept/formattable.sig",
+             "detail/concept/mk-bounded.fun",
+             "detail/concept/mk-equality.fun",
+             "detail/concept/mk-scannable.fun",
+             "detail/concept/mk-stringable.fun",
+             "detail/concept/mk-cstringable.fun",
+             "public/data/void.sig",
+             "public/fn/fn.sig",
+             "detail/fn/fn.sml",
+             "public/basic.sig",
+             "detail/basic.sml",
+             "public/data/unit.sig",
+             "public/data/sq.sig",
+             "detail/data/sq.sml",
+             "public/fn/bin-fn.sig",
+             "detail/fn/bin-fn.sml",
+             "public/fn/un-op.sig",
+             "detail/fn/un-op.sml",
+             "public/fn/thunk.sig",
+             "detail/fn/thunk.sml",
+             "public/data/univ.sig",
+             "detail/data/univ-ref.sml",
+             "detail/data/univ-exn.sml",
+             "detail/ml/$(SML_COMPILER)/univ.sml",
+             "public/fn/bin-op.sig",
+             "detail/fn/bin-op.sml",
+             "public/fn/effect.sig",
+             "detail/fn/effect.sml",
+             "public/generic/fix.sig",
+             "detail/generic/fix.sml",
+             "public/fn/un-pr.sig",
+             "detail/fn/un-pr.sml",
+             "public/data/order.sig",
+             "detail/data/order.sml",
+             "public/fn/bin-pr.sig",
+             "detail/fn/bin-pr.sml",
+             "public/fn/cmp.sig",
+             "detail/fn/cmp.sml",
+             "detail/concept/mk-ordered.fun",
+             "public/data/ref.sig",
+             "detail/data/ref.sml",
+             "public/data/bool.sig",
+             "detail/data/bool.sml",
+             "public/data/product-type.sig",
+             "public/data/pair.sig",
+             "detail/data/pair.sml",
+             "public/data/product.sig",
+             "detail/data/product.sml",
+             "public/fold/fold.sig",
+             "detail/fold/fold.sml",
+             "detail/concept/mk-monad.fun",
+             "public/control/with.sig",
+             "detail/control/with.sml",
+             "public/data/sum.sig",
+             "detail/data/sum.sml",
+             "public/control/exn.sig",
+             "detail/control/exn.sml",
+             "public/generic/emb.sig",
+             "detail/generic/emb.sml",
+             "public/generic/iso.sig",
+             "detail/generic/iso.sml",
+             "public/generic/tie.sig",
+             "detail/generic/tie.sml",
+             "public/sequence/array.sig",
+             "public/sequence/array-slice.sig",
+             "public/sequence/vector.sig",
+             "public/sequence/vector-slice.sig",
+             "detail/sequence/mk-seq-common-ext.fun",
+             "detail/sequence/array.sml",
+             "detail/sequence/array-slice.sml",
+             "detail/sequence/vector.sml",
+             "detail/sequence/vector-slice.sml",
+             "public/data/option.sig",
+             "detail/data/option.sml",
+             "public/numeric/integer.sig",
+             "public/numeric/int-inf.sig",
+             "public/numeric/real.sig",
+             "public/numeric/word.sig",
+             "detail/numeric/mk-integer-ext.fun",
+             "detail/numeric/mk-int-inf-ext.fun",
+             "detail/numeric/mk-real-ext.fun",
+             "detail/numeric/mk-word-ext.fun",
+             "detail/ml/common/scalars.sml",
+             "detail/ml/$(SML_COMPILER)/ints.sml",
+             "detail/ml/$(SML_COMPILER)/reals.sml",
+             "detail/ml/$(SML_COMPILER)/words.sml",
+             "public/sequence/list.sig",
+             "detail/sequence/list.sml",
+             "public/sequence/buffer.sig",
+             "detail/sequence/mk-buffer-common.fun",
+             "detail/sequence/buffer.sml",
+             "public/sequence/resizable-array.sig",
+             "detail/sequence/resizable-array.sml",
+             "public/io/reader.sig",
+             "detail/io/reader.sml",
+             "public/io/writer.sig",
+             "detail/io/writer.sml",
+             "public/io/ios-monad.sig",
+             "detail/io/ios-monad.sml",
+             "public/control/exit.sig",
+             "detail/control/exit.sml",
+             "public/sequence/mono-vector.sig",
+             "public/sequence/mono-vector-slice.sig",
+             "public/sequence/mono-array.sig",
+             "public/sequence/mono-array-slice.sig",
+             "public/text/char.sig",
+             "public/text/string.sig",
+             "public/text/substring.sig",
+             "public/text/text.sig",
+             "detail/sequence/mk-mono-seq-common-ext.fun",
+             "detail/sequence/mk-mono-vector-ext.fun",
+             "detail/sequence/mk-mono-vector-slice-ext.fun",
+             "detail/sequence/mk-mono-array-ext.fun",
+             "detail/sequence/mk-mono-array-slice-ext.fun",
+             "detail/text/mk-text-ext.fun",
+             "detail/ml/common/mono-seqs.sml",
+             "detail/ml/$(SML_COMPILER)/mono-vectors.sml",
+             "detail/ml/$(SML_COMPILER)/mono-vector-slices.sml",
+             "detail/ml/$(SML_COMPILER)/mono-arrays.sml",
+             "detail/ml/$(SML_COMPILER)/mono-array-slices.sml",
+             "detail/ml/$(SML_COMPILER)/texts.sml",
+             "public/sequence/stream.sig",
+             "detail/sequence/stream.sml",
+             "public/lazy/lazy.sig",
+             "detail/lazy/lazy.sml",
+             "public/fn/shift-op.sig",
+             "public/io/text-io.sig",
+             "detail/io/text-io.sml",
+             "detail/concept/mk-word-flags.fun",
+             "detail/ml/$(SML_COMPILER)/forget.use",
+             "public/export/$(SML_COMPILER).sml",
+             "public/export/common.sml",
+             "public/export/top-level.sml",
+             "public/export/infixes.sml",
+             "public/export/open-top-level.sml"]} ;




More information about the MLton-commit mailing list