[MLton-commit] r6147

[Vesa Karvonen]

First cut at UseLib based use files for the generics library.
----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/generic/unstable/detail/ml/polyml/
A   mltonlib/trunk/com/ssh/generic/unstable/detail/ml/polyml/extensions.use
A   mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/extensions.use
A   mltonlib/trunk/com/ssh/generic/unstable/lib.use

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

Added: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/polyml/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ml/polyml/extensions.use	2007-11-08 20:57:48 UTC (rev 6146)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/polyml/extensions.use	2007-11-08 21:49:00 UTC (rev 6147)
@@ -0,0 +1,18 @@
+(* Copyright (C) 2007 Vesa Karvonen
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+structure CastReal : CAST_REAL where type t = Real.t = struct
+   open Real
+   structure Bits = Word
+   val isoBits = NONE
+end
+
+structure CastLargeReal : CAST_REAL where type t = LargeReal.t = CastReal
+
+structure PackLargeRealLittle : PACK_REAL where type real = LargeReal.t =
+   PackRealLittle
+structure PackLargeRealBig    : PACK_REAL where type real = LargeReal.t =
+   PackRealBig


Property changes on: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/polyml/extensions.use
___________________________________________________________________
Name: svn:eol-style
   + native

Added: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/extensions.use	2007-11-08 20:57:48 UTC (rev 6146)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/extensions.use	2007-11-08 21:49:00 UTC (rev 6147)
@@ -0,0 +1,12 @@
+(* Copyright (C) 2007 Vesa Karvonen
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+if CM.make "$c/c.cm" then () else fail "Couldn't make ML-NLFFI" ;
+
+UseLib.Trace.disabled
+(fn () =>
+    (use "detail/ml/smlnj/cast-real.sml"
+   ; use "detail/ml/smlnj/pack-real.sml")) ;


Property changes on: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/extensions.use
___________________________________________________________________
Name: svn:eol-style
   + native

Added: mltonlib/trunk/com/ssh/generic/unstable/lib.use
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.use	2007-11-08 20:57:48 UTC (rev 6146)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.use	2007-11-08 21:49:00 UTC (rev 6147)
@@ -0,0 +1,78 @@
+(* Copyright (C) 2007 Vesa Karvonen
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+lib {reqs = ["../../extended-basis/unstable/basis.use",
+             "../../prettier/unstable/lib.use",
+             "../../random/unstable/lib.use"],
+     self = ["detail/util/hash-map.sml",
+             "detail/ml/common/cast-real.sig",
+             "detail/ml/${SML_COMPILER}/extensions.use",
+             "public/framework/generics.sig",
+             "detail/util/sml-syntax.sml",
+             "detail/framework/generics.sml",
+             "public/framework/ty.sig",
+             "detail/framework/ty.sml",
+             "public/framework/closed-rep.sig",
+             "public/framework/closed-cases.sig",
+             "public/framework/open-rep.sig",
+             "public/framework/open-cases.sig",
+             "public/framework/cases.sig",
+             "public/framework/generic.sig",
+             "public/util/generics-util.sig",
+             "detail/util/generics-util.sml",
+             "detail/util/ops.sml",
+             "detail/util/opt-int.sml",
+             "detail/util/hash-univ.sml",
+             "detail/framework/mk-closed-rep.fun",
+             "detail/framework/root-generic.sml",
+             "detail/framework/close-generic.fun",
+             "public/framework/layered-rep.sig",
+             "public/framework/layer-dep-cases-fun.sig",
+             "public/framework/layer-cases-fun.sig",
+             "public/framework/layer-rep-fun.sig",
+             "detail/framework/layer-generic.fun",
+             "public/value/type-info.sig",
+             "detail/value/type-info.sml",
+             "public/value/data-rec-info.sig",
+             "detail/value/data-rec-info.sml",
+             "public/value/type-hash.sig",
+             "detail/value/type-hash.sml",
+             "public/value/hash.sig",
+             "detail/value/hash.sml",
+             "public/value/some.sig",
+             "detail/value/some.sml",
+             "public/value/arbitrary.sig",
+             "detail/value/arbitrary.sml",
+             "detail/value/debug.sml",
+             "public/value/dynamic.sig",
+             "detail/value/dynamic.sml",
+             "public/value/eq.sig",
+             "detail/value/eq.sml",
+             "public/value/fmap.sig",
+             "detail/value/fmap.sml",
+             "public/value/ord.sig",
+             "detail/value/ord.sml",
+             "public/value/pickle.sig",
+             "detail/value/pickle.sml",
+             "public/value/pretty.sig",
+             "detail/value/pretty.sml",
+             "public/value/reduce.sig",
+             "detail/value/reduce.sml",
+             "public/value/seq.sig",
+             "detail/value/seq.sml",
+             "public/value/size.sig",
+             "detail/value/size.sml",
+             "public/value/shrink.sig",
+             "detail/value/shrink.sml",
+             "public/value/transform.sig",
+             "detail/value/transform.sml",
+             "public/value/type-exp.sig",
+             "detail/value/type-exp.sml",
+             "public/extra/generic-extra.sig",
+             "detail/extra/with-extra.fun",
+             "detail/extra/close-pretty-with-extra.fun",
+             "detail/extra/reg-basis-exns.fun",
+             "public/export.sml"]} ;


Property changes on: mltonlib/trunk/com/ssh/generic/unstable/lib.use
___________________________________________________________________
Name: svn:eol-style
   + native