[MLton-commit] r5977

[Vesa Karvonen]

Moved MkClosedRep to a separate file and exported it.

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

U   mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
A   mltonlib/trunk/com/ssh/generic/unstable/detail/mk-closed-rep.fun
U   mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
U   mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
U   mltonlib/trunk/com/ssh/generic/unstable/public/export.sml

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-08-31 12:41:46 UTC (rev 5976)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-08-31 13:58:40 UTC (rev 5977)
@@ -14,9 +14,3 @@
    fun failExn e = failCat ["unregistered exn ", `e]
    fun failExnSq (l, r) = failCat ["unregistered exns ", `l, " and ", `r]
 end
-
-functor MkClosedRep (type 'a t) : CLOSED_REP = struct
-   type  'a      t = 'a t
-   type  'a      s = 'a t
-   type ('a, 'k) p = 'a t
-end

Copied: mltonlib/trunk/com/ssh/generic/unstable/detail/mk-closed-rep.fun (from rev 5969, mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml)
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-08-27 16:02:13 UTC (rev 5969)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/mk-closed-rep.fun	2007-08-31 13:58:40 UTC (rev 5977)
@@ -0,0 +1,11 @@
+(* Copyright (C) 2007 SSH Communications Security, Helsinki, Finland
+ *
+ * This code is released under the MLton license, a BSD-style license.
+ * See the LICENSE file or http://mlton.org/License for details.
+ *)
+
+functor MkClosedRep (type 'a t) : CLOSED_REP = struct
+   type  'a      t = 'a t
+   type  'a      s = 'a t
+   type ('a, 'k) p = 'a t
+end

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm	2007-08-31 12:41:46 UTC (rev 5976)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm	2007-08-31 13:58:40 UTC (rev 5977)
@@ -38,6 +38,7 @@
    ../../generics-util.sml
    ../../generics.sml
    ../../layer-generic.fun
+   ../../mk-closed-rep.fun
    ../../reg-basis-exns.fun
    ../../root-generic.sml
    ../../sml-syntax.sml

Modified: mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.mlb	2007-08-31 12:41:46 UTC (rev 5976)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.mlb	2007-08-31 13:58:40 UTC (rev 5977)
@@ -43,6 +43,8 @@
          public/generics-util.sig
          detail/generics-util.sml
 
+         detail/mk-closed-rep.fun
+
          (* Framework *)
 
          detail/with-extra.fun

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2007-08-31 12:41:46 UTC (rev 5976)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2007-08-31 13:58:40 UTC (rev 5977)
@@ -28,6 +28,9 @@
 
 (** == Framework Functors == *)
 
+functor MkClosedRep (type 'a t) : CLOSED_REP = MkClosedRep (type 'a t = 'a t)
+(** Makes a closed representation by replicating the given type. *)
+
 functor CloseCases (Arg : OPEN_CASES) :>
    CLOSED_CASES
       where type  'a      Rep.t = ('a,     Unit.t) Arg.Rep.t