[MLton-commit] r5173

[Wesley Terpstra]

we'll need this polymorphism in WideString.toString
----------------------------------------------------------------------

U   mlton/trunk/basis-library/arrays-and-vectors/sequence.sig
U   mlton/trunk/basis-library/arrays-and-vectors/slice.sig
U   mlton/trunk/basis-library/arrays-and-vectors/vector-slice.sig
U   mlton/trunk/basis-library/arrays-and-vectors/vector.sig

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

Modified: mlton/trunk/basis-library/arrays-and-vectors/sequence.sig
===================================================================
--- mlton/trunk/basis-library/arrays-and-vectors/sequence.sig	2007-02-12 01:05:56 UTC (rev 5172)
+++ mlton/trunk/basis-library/arrays-and-vectors/sequence.sig	2007-02-12 01:07:32 UTC (rev 5173)
@@ -64,7 +64,7 @@
       val isPrefix: ('a elt * 'a elt -> bool) -> 'a sequence -> 'a sequence -> bool
       val isSubsequence: ('a elt * 'a elt -> bool) -> 'a sequence -> 'a sequence -> bool
       val isSuffix: ('a elt * 'a elt -> bool) -> 'a sequence -> 'a sequence -> bool
-      val translate: ('a elt -> 'a sequence) -> 'a sequence -> 'a sequence
+      val translate: ('a elt -> 'b sequence) -> 'a sequence -> 'b sequence
       val tokens: ('a elt -> bool) -> 'a sequence -> 'a sequence list
       val fields: ('a elt -> bool) -> 'a sequence -> 'a sequence list
 

Modified: mlton/trunk/basis-library/arrays-and-vectors/slice.sig
===================================================================
--- mlton/trunk/basis-library/arrays-and-vectors/slice.sig	2007-02-12 01:05:56 UTC (rev 5172)
+++ mlton/trunk/basis-library/arrays-and-vectors/slice.sig	2007-02-12 01:07:32 UTC (rev 5173)
@@ -86,7 +86,7 @@
        * ('a sequence * 'a sequence -> bool)  should be polymorphic equality
        *)
       val span: ('a sequence * 'a sequence -> bool) -> 'a slice * 'a slice -> 'a slice
-      val translate: ('a elt -> 'a sequence) -> 'a slice -> 'a sequence
+      val translate: ('a elt -> 'b sequence) -> 'a slice -> 'b sequence
       val tokens: ('a elt -> bool) -> 'a slice -> 'a slice list
       val fields: ('a elt -> bool) -> 'a slice -> 'a slice list
 

Modified: mlton/trunk/basis-library/arrays-and-vectors/vector-slice.sig
===================================================================
--- mlton/trunk/basis-library/arrays-and-vectors/vector-slice.sig	2007-02-12 01:05:56 UTC (rev 5172)
+++ mlton/trunk/basis-library/arrays-and-vectors/vector-slice.sig	2007-02-12 01:07:32 UTC (rev 5173)
@@ -66,7 +66,7 @@
       val position: ('a * 'a -> bool) -> 
                     'a Vector.vector -> 'a slice -> 'a slice * 'a slice
       val span: ''a slice * ''a slice -> ''a slice
-      val translate: ('a -> 'a Vector.vector) -> 'a slice -> 'a Vector.vector
+      val translate: ('a -> 'b Vector.vector) -> 'a slice -> 'b Vector.vector
       val tokens: ('a -> bool) -> 'a slice -> 'a slice list
       val fields: ('a -> bool) -> 'a slice -> 'a slice list
 

Modified: mlton/trunk/basis-library/arrays-and-vectors/vector.sig
===================================================================
--- mlton/trunk/basis-library/arrays-and-vectors/vector.sig	2007-02-12 01:05:56 UTC (rev 5172)
+++ mlton/trunk/basis-library/arrays-and-vectors/vector.sig	2007-02-12 01:07:32 UTC (rev 5173)
@@ -42,7 +42,7 @@
       val isPrefix: ('a * 'a -> bool) -> 'a vector -> 'a vector -> bool
       val isSubvector: ('a * 'a -> bool) -> 'a vector -> 'a vector -> bool
       val isSuffix: ('a * 'a -> bool) -> 'a vector -> 'a vector -> bool
-      val translate: ('a -> 'a vector) -> 'a vector -> 'a vector
+      val translate: ('a -> 'b vector) -> 'a vector -> 'b vector
       val tokens: ('a -> bool) -> 'a vector -> 'a vector list
       val fields: ('a -> bool) -> 'a vector -> 'a vector list