[MLton-commit] r4737

[Vesa Karvonen]

Separated array.sig from array.sml and vector.sig from vector.sml.
Exposed real.sig, which was incorrectly hidden.

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

A   mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/array.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/basis.mlb
A   mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sml

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

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig (from rev 4733, mltonlib/trunk/com/ssh/extended-basis/unstable/array.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/array.sml	2006-10-20 01:51:30 UTC (rev 4733)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/array.sig	2006-10-20 16:11:14 UTC (rev 4737)
@@ -0,0 +1,19 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {ARRAY} signature.
+ *)
+
+signature ARRAY =
+   sig
+      include ARRAY
+      val toList : 'a array -> 'a list
+      val listIso : ('a array, 'a list) iso
+      val toVector : 'a array -> 'a vector
+      val fromVector : 'a vector -> 'a array
+      val vectorIso : ('a array, 'a vector) iso
+   end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/array.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/array.sml	2006-10-20 15:31:21 UTC (rev 4736)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/array.sml	2006-10-20 16:11:14 UTC (rev 4737)
@@ -8,16 +8,6 @@
  * Extended {Array :> ARRAY} structure.
  *)
 
-signature ARRAY =
-   sig
-      include ARRAY
-      val toList : 'a array -> 'a list
-      val listIso : ('a array, 'a list) iso
-      val toVector : 'a array -> 'a vector
-      val fromVector : 'a vector -> 'a array
-      val vectorIso : ('a array, 'a vector) iso
-   end
-
 structure Array : ARRAY =
    struct
       open Array

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/basis.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/basis.mlb	2006-10-20 15:31:21 UTC (rev 4736)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/basis.mlb	2006-10-20 16:11:14 UTC (rev 4737)
@@ -28,8 +28,8 @@
    (* Extended real modules *)
    local
       mk-real-ext.fun
+   in
       real.sig
-   in
       reals-mlton.sml
    end
 
@@ -41,23 +41,31 @@
       words-mlton.sml
    end
 
-   (* Extended vector modules *)
+   (* Extended vector module *)
+   vector.sig
+   vector.sml
+
+   (* Extended array module (may depend on vector module) *)
+   array.sig
+   array.sml
+
+   (* Extended mono vector modules *)
    local
       mk-mono-vector-ext.fun
    in
       mono-vector.sig
       mono-vectors-mlton.sml
-      vector.sml
 
-      (* Extended array modules (may depend on vector modules) *)
+      (* Extended mono array modules (may depend on mono vector modules) *)
       local
          mk-mono-array-ext.fun
       in
          mono-array.sig
-         array.sml
          mono-arrays-mlton.sml
 
-         (* Extended text modules (may depend on vector and array modules) *)
+         (* Extended text modules (may depend on mono vector and mono
+          * array modules)
+          *)
          local
             mk-text-ext.fun
          in

Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig (from rev 4733, mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sml)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sml	2006-10-20 01:51:30 UTC (rev 4733)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sig	2006-10-20 16:11:14 UTC (rev 4737)
@@ -0,0 +1,16 @@
+(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+(**
+ * Extended {VECTOR} signature.
+ *)
+
+signature VECTOR =
+   sig
+      include VECTOR
+      val listIso : ('a vector, 'a list) iso
+      val toList : 'a vector -> 'a list
+   end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sml	2006-10-20 15:31:21 UTC (rev 4736)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/vector.sml	2006-10-20 16:11:14 UTC (rev 4737)
@@ -8,13 +8,6 @@
  * Extended {Vector :> VECTOR} structure.
  *)
 
-signature VECTOR =
-   sig
-      include VECTOR
-      val listIso : ('a vector, 'a list) iso
-      val toList : 'a vector -> 'a list
-   end
-
 structure Vector : VECTOR =
    struct
       open Vector