[MLton-commit] r4816

[Vesa K. <ve...@ml...>]

Separated top-level exports.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U   mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
A   mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-11-12 23:09:35 UTC (rev 4815)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb	2006-11-13 00:15:32 UTC (rev 4816)
@@ -82,6 +82,7 @@
       in
          public/export-$(SML_COMPILER).sml
          public/export.sml
+         public/top-level.sml
       end
    end
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-11-12 23:09:35 UTC (rev 4815)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use	2006-11-13 00:15:32 UTC (rev 4816)
@@ -68,5 +68,6 @@
 
             (* Export filter *)
             "public/export-"^compiler^".sml",
-            "public/export.sml"]
+            "public/export.sml",
+            "public/top-level.sml"]
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-11-12 23:09:35 UTC (rev 4815)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-11-13 00:15:32 UTC (rev 4816)
@@ -6,9 +6,6 @@
 
 (** == Implementation independent extensions == *)
 
-type ('a, 'b) emb = ('a, 'b) Emb.t
-type ('a, 'b) iso = ('a, 'b) Iso.t
-
 signature ARRAY = ARRAY
 signature BOOL = BOOL
 signature CHAR = CHAR

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml (from rev 4813, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml	2006-11-12 15:34:03 UTC (rev 4813)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml	2006-11-13 00:15:32 UTC (rev 4816)
@@ -0,0 +1,10 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(** == Top-Level Bindings == *)
+
+type ('a, 'b) emb = ('a, 'b) Emb.t
+type ('a, 'b) iso = ('a, 'b) Iso.t