[MLton-commit] r6471

[Vesa Karvonen]

Prefer sharing constraints for their symmetry.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array-slice.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector-slice.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array-slice.sig	2008-03-13 23:37:48 UTC (rev 6470)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array-slice.sig	2008-03-13 23:58:25 UTC (rev 6471)
@@ -8,6 +8,6 @@
 signature MONO_ARRAY_SLICE = sig
    include BASIS_MONO_ARRAY_SLICE
 
-   type t = slice
+   type t sharing type t = slice
    (** Convenience alias. *)
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array.sig	2008-03-13 23:37:48 UTC (rev 6470)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array.sig	2008-03-13 23:58:25 UTC (rev 6471)
@@ -8,7 +8,7 @@
 signature MONO_ARRAY = sig
    include BASIS_MONO_ARRAY
 
-   type t = array
+   type t sharing type t = array
    (** Convenience alias. *)
 
    (** == Constructors == *)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector-slice.sig	2008-03-13 23:37:48 UTC (rev 6470)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector-slice.sig	2008-03-13 23:58:25 UTC (rev 6471)
@@ -8,6 +8,6 @@
 signature MONO_VECTOR_SLICE = sig
    include BASIS_MONO_VECTOR_SLICE
 
-   type t = slice
+   type t sharing type t = slice
    (** Convenience alias. *)
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector.sig	2008-03-13 23:37:48 UTC (rev 6470)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector.sig	2008-03-13 23:58:25 UTC (rev 6471)
@@ -8,7 +8,7 @@
 signature MONO_VECTOR = sig
    include BASIS_MONO_VECTOR
 
-   type t = vector
+   type t sharing type t = vector
    (** Convenience alias. *)
 
    val empty : t Thunk.t