[MLton-commit] r5825

[Vesa Karvonen]

Renamed MkClosedGenericRep -> MkClosedRep.

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

U   mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/dynamic.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/pretty.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -15,7 +15,7 @@
    fun failExnSq (l, r) = failCat ["unregistered exns ", `l, " and ", `r]
 end
 
-functor MkClosedGenericRep (type 'a t) : CLOSED_GENERIC_REP = struct
+functor MkClosedRep (type 'a t) : CLOSED_GENERIC_REP = struct
    type  'a      t = 'a t
    type  'a      s = 'a t
    type ('a, 'k) p = 'a t

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -31,7 +31,7 @@
 
    structure Arbitrary =
       LayerGenericRep (structure Outer = Arg.Rep
-                       structure Closed = MkClosedGenericRep (type 'a t = 'a t))
+                       structure Closed = MkClosedRep (type 'a t = 'a t))
 
    open Arbitrary.This
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/dynamic.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/dynamic.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/dynamic.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -43,7 +43,7 @@
    structure Dynamic =
       LayerGenericRep
          (structure Outer = Arg.Rep
-          structure Closed = MkClosedGenericRep (type 'a t = ('a, t) Iso.t))
+          structure Closed = MkClosedRep (type 'a t = ('a, t) Iso.t))
 
    open Dynamic.This
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -25,7 +25,7 @@
 
    structure Eq =
       LayerGenericRep (structure Outer = Arg.Rep
-                       structure Closed = MkClosedGenericRep (BinPr))
+                       structure Closed = MkClosedRep (BinPr))
 
    open Eq.This
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -21,7 +21,7 @@
 
    structure Hash =
       LayerGenericRep (structure Outer = Arg.Rep
-                       structure Closed = MkClosedGenericRep (type 'a t = 'a t))
+                       structure Closed = MkClosedRep (type 'a t = 'a t))
 
    open Hash.This
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -12,7 +12,7 @@
 
    structure Ord =
       LayerGenericRep (structure Outer = Arg.Rep
-                       structure Closed = MkClosedGenericRep (Cmp))
+                       structure Closed = MkClosedRep (Cmp))
 
    open Ord.This
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/pretty.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/pretty.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/pretty.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -59,7 +59,7 @@
    structure Pretty =
       LayerGenericRep
          (structure Outer = Arg.Rep
-          structure Closed = MkClosedGenericRep (type 'a t = exn list * 'a -> u))
+          structure Closed = MkClosedRep (type 'a t = exn list * 'a -> u))
 
    open Pretty.This
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml	2007-08-05 12:21:24 UTC (rev 5824)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml	2007-08-05 12:32:54 UTC (rev 5825)
@@ -11,7 +11,7 @@
 
    structure Some =
       LayerGenericRep (structure Outer = Arg.Rep
-                       structure Closed = MkClosedGenericRep (Thunk))
+                       structure Closed = MkClosedRep (Thunk))
 
    open Some.This