[MLton-commit] r4827

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

Renamed dup -> duplicate (which was already being used in MLton).

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml	2006-11-16 10:49:19 UTC (rev 4826)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/array.sml	2006-11-16 10:53:56 UTC (rev 4827)
@@ -17,7 +17,7 @@
    in
       open Array Common
    end
-   fun dup a = tabulate (length a, fn i => sub (a, i))
+   fun duplicate a = tabulate (length a, fn i => sub (a, i))
    val toVector = vector
    fun fromVector v = tabulate (Vector.length v, fn i => Vector.sub (v, i))
    val isoVector = (toVector, fromVector)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun	2006-11-16 10:49:19 UTC (rev 4826)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/mk-mono-array-ext.fun	2006-11-16 10:53:56 UTC (rev 4827)
@@ -20,7 +20,7 @@
    in
       open MonoArray Common
    end
-   fun dup a = tabulate (length a, fn i => sub (a, i))
+   fun duplicate a = tabulate (length a, fn i => sub (a, i))
    val toVector = vector
    fun fromVector v =
        tabulate (MonoVector.length v, fn i => MonoVector.sub (v, i))

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig	2006-11-16 10:49:19 UTC (rev 4826)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig	2006-11-16 10:53:56 UTC (rev 4827)
@@ -15,10 +15,10 @@
     * Convenience alias.
     *)
 
-   val dup : 'a t -> 'a t
+   val duplicate : 'a t -> 'a t
    (**
-    * Makes a fresh duplicate of the given array.  {dup a} is equivalent
-    * to {tabulate (length a, fn i => sub (a, i))}.
+    * Makes a fresh duplicate of the given array.  {duplicate a} is
+    * equivalent to {tabulate (length a, fn i => sub (a, i))}.
     *)
 
    val unfoldi : (int * 'b -> 'a * 'b) -> int * 'b -> 'a t * 'b

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig	2006-11-16 10:49:19 UTC (rev 4826)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig	2006-11-16 10:53:56 UTC (rev 4827)
@@ -15,10 +15,10 @@
     * Convenience alias.
     *)
 
-   val dup : t -> t
+   val duplicate : t -> t
    (**
-    * Makes a fresh duplicate of the given array.  {dup a} is equivalent
-    * to {tabulate (length a, fn i => sub (a, i))}.
+    * Makes a fresh duplicate of the given array.  {duplicate a} is
+    * equivalent to {tabulate (length a, fn i => sub (a, i))}.
     *)
 
    val unfoldi : (int * 'a -> elem * 'a) -> int * 'a -> t * 'a