[MLton-commit] r5562

[Vesa Karvonen]

Minor simplifications.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/misc-util/unstable/compare.sml
U   mltonlib/trunk/com/ssh/misc-util/unstable/dummy.sml
U   mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml
U   mltonlib/trunk/com/ssh/misc-util/unstable/show.sml

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

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/compare.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/compare.sml	2007-05-18 09:35:10 UTC (rev 5561)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/compare.sml	2007-05-18 12:35:00 UTC (rev 5562)
@@ -34,8 +34,8 @@
 end
 
 structure Compare :> sig
-   include STRUCTURAL_TYPE
-   include COMPARE where type 'a compare_t = 'a t
+   include STRUCTURAL_TYPE COMPARE
+   sharing type compare_t = t
 end = struct
    type 'a t = 'a Cmp.t
    type 'a compare_t = 'a t

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/dummy.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/dummy.sml	2007-05-18 09:35:10 UTC (rev 5561)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/dummy.sml	2007-05-18 12:35:00 UTC (rev 5562)
@@ -45,8 +45,8 @@
 end
 
 structure Dummy :> sig
-   include STRUCTURAL_TYPE
-   include DUMMY where type 'a dummy_t = 'a t
+   include STRUCTURAL_TYPE DUMMY
+   sharing type dummy_t = t
 end = struct
    type 'a t = 'a option
    type 'a dummy_t = 'a t

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml	2007-05-18 09:35:10 UTC (rev 5561)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/eq.sml	2007-05-18 12:35:00 UTC (rev 5562)
@@ -34,8 +34,8 @@
 end
 
 structure Eq :> sig
-   include STRUCTURAL_TYPE
-   include EQ where type 'a eq_t = 'a t
+   include STRUCTURAL_TYPE EQ
+   sharing type eq_t = t
 end = struct
    type 'a t = 'a BinPr.t
    type 'a eq_t = 'a t

Modified: mltonlib/trunk/com/ssh/misc-util/unstable/show.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/show.sml	2007-05-18 09:35:10 UTC (rev 5561)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/show.sml	2007-05-18 12:35:00 UTC (rev 5562)
@@ -44,11 +44,10 @@
 end
 
 structure Show :> sig
-   include TYPE
-   include SHOW
-      where type 'a show_t = 'a t
-      where type 'a show_s = 'a s
-      where type ('a, 'k) show_p = ('a, 'k) p
+   include TYPE SHOW
+   sharing type show_t = t
+   sharing type show_s = s
+   sharing type show_p = p
 end = struct
    local
       open Prettier