[MLton-commit] r5607
Vesa Karvonen
vesak at mlton.org
Sun Jun 10 03:38:18 PDT 2007
Using the TopLevel module.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/generics.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/ground-generic.fun
U mltonlib/trunk/com/ssh/generic/unstable/detail/lift-generic.fun
U mltonlib/trunk/com/ssh/generic/unstable/detail/sml-syntax.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/with-convenience.fun
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure ExtGeneric :> EXT_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Fn
+ open TopLevel
(* SML/NJ workaround --> *)
structure Index = struct
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure GenericsUtil :> GENERICS_UTIL = struct
(* <-- SML/NJ workaround *)
- open Basic
+ open TopLevel
(* SML/NJ workaround --> *)
val ` = Exn.name
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/generics.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generics.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure Generics :> GENERICS = struct
(* <-- SML/NJ workaround *)
- open Basic Fn
+ open TopLevel
(* SML/NJ workaround --> *)
structure Label = struct
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ground-generic.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ground-generic.fun 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ground-generic.fun 2007-06-10 10:38:16 UTC (rev 5607)
@@ -11,7 +11,7 @@
where type ('a, 'k) Index.p = ('a, 'k, Unit.t) Arg.Index.p =
struct
(* <-- SML/NJ workaround *)
- open Fn
+ open TopLevel
(* SML/NJ workaround --> *)
structure Index : GENERIC_INDEX = struct
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/lift-generic.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/lift-generic.fun 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/lift-generic.fun 2007-06-10 10:38:16 UTC (rev 5607)
@@ -11,7 +11,7 @@
where type ('a, 'k, 'x) Index.p = ('a, 'k) Arg.Index.p * 'x =
struct
(* <-- SML/NJ workaround *)
- open Fn
+ open TopLevel
(* SML/NJ workaround --> *)
structure Index : EXT_GENERIC_INDEX = struct
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/sml-syntax.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/sml-syntax.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/sml-syntax.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -17,7 +17,7 @@
val isNumLabel : String.t UnPr.t
end = struct
(* <-- SML/NJ workaround *)
- open Fn UnPr
+ open TopLevel
infix 4 <\
infixr 4 />
infix 2 andAlso
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
functor WithArbitrary (Arg : WITH_ARBITRARY_DOM) : ARBITRARY_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum UnPr
+ open TopLevel
infix 7 *`
infix 6 +`
infixr 6 <^> <+>
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure Dummy :> DUMMY_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum
+ open TopLevel
infix 7 *`
infix 6 +`
infix 0 &
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure Eq :> EQ_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum UnPr
+ open TopLevel
infix 7 *`
infix 6 +`
infix 0 &
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure Ord :> ORD_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum UnPr
+ open TopLevel
infix 7 *`
infix 6 +`
infix 0 &
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -11,7 +11,7 @@
structure Show :> SHOW_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum UnPr
+ open TopLevel
infix 7 *`
infix 6 +`
infixr 6 <^> <+>
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
structure TypeInfo :> TYPE_INFO_GENERIC = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum UnPr
+ open TopLevel
infix 7 *`
infix 6 +`
infixr 6 <^> <+>
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/with-convenience.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/with-convenience.fun 2007-06-10 10:32:29 UTC (rev 5606)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/with-convenience.fun 2007-06-10 10:38:16 UTC (rev 5607)
@@ -6,7 +6,7 @@
functor WithConvenience (Arg : GENERIC) : GENERIC_WITH_CONVENIENCE = struct
(* <-- SML/NJ workaround *)
- open Basic Fn Product Sum UnPr
+ open TopLevel
infix 7 *`
infix 6 +` |`
infix 0 & &`
More information about the MLton-commit
mailing list