[MLton-commit] r5624

[Vesa Karvonen]

Minor tweaks.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -24,12 +24,11 @@
 end
 
 signature ARBITRARY_GENERIC = sig
-   include ARBITRARY OPEN_GENERIC
-   sharing Arbitrary = Rep
+   include OPEN_GENERIC ARBITRARY
+   sharing Rep = Arbitrary
 end
 
 signature WITH_ARBITRARY_DOM = sig
-   include OPEN_GENERIC TYPE_INFO
-   sharing Rep = TypeInfo
+   include TYPE_INFO_GENERIC
    structure RandomGen : RANDOM_GEN
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -33,6 +33,6 @@
 end
 
 signature DUMMY_GENERIC = sig
-   include DUMMY OPEN_GENERIC
-   sharing Dummy = Rep
+   include OPEN_GENERIC DUMMY
+   sharing Rep = Dummy
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -24,6 +24,6 @@
 end
 
 signature EQ_GENERIC = sig
-   include EQ OPEN_GENERIC
-   sharing Eq = Rep
+   include OPEN_GENERIC EQ
+   sharing Rep = Eq
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -15,6 +15,8 @@
 end
 
 signature HASH_GENERIC = sig
-   include HASH OPEN_GENERIC
-   sharing Hash = Rep
+   include OPEN_GENERIC HASH
+   sharing Rep = Hash
 end
+
+signature WITH_HASH_DOM = TYPE_INFO_GENERIC

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -25,6 +25,6 @@
 end
 
 signature ORD_GENERIC = sig
-   include ORD OPEN_GENERIC
-   sharing Ord = Rep
+   include OPEN_GENERIC ORD
+   sharing Rep = Ord
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -20,6 +20,6 @@
 end
 
 signature SHOW_GENERIC = sig
-   include SHOW OPEN_GENERIC
-   sharing Show = Rep
+   include OPEN_GENERIC SHOW
+   sharing Rep = Show
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig	2007-06-15 03:54:58 UTC (rev 5623)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig	2007-06-16 07:54:52 UTC (rev 5624)
@@ -61,6 +61,6 @@
 end
 
 signature TYPE_INFO_GENERIC = sig
-   include TYPE_INFO OPEN_GENERIC
-   sharing TypeInfo = Rep
+   include OPEN_GENERIC TYPE_INFO
+   sharing Rep = TypeInfo
 end