[MLton-commit] r5980

[Vesa Karvonen]

For brevity.

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

U   mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun
U   mltonlib/trunk/com/ssh/generic/unstable/detail/reg-basis-exns.fun

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun	2007-08-31 16:01:35 UTC (rev 5979)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun	2007-08-31 16:35:48 UTC (rev 5980)
@@ -4,15 +4,15 @@
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
-functor CloseRep (Arg : OPEN_REP) :>
+functor CloseRep (include OPEN_REP) :>
    CLOSED_REP
-      where type  'a      t = ('a,     Unit.t) Arg.t
-      where type  'a      s = ('a,     Unit.t) Arg.s
-      where type ('a, 'k) p = ('a, 'k, Unit.t) Arg.p =
+      where type  'a      t = ('a,     Unit.t) t
+      where type  'a      s = ('a,     Unit.t) s
+      where type ('a, 'k) p = ('a, 'k, Unit.t) p =
 struct
-   type  'a      t = ('a,     Unit.t) Arg.t
-   type  'a      s = ('a,     Unit.t) Arg.s
-   type ('a, 'k) p = ('a, 'k, Unit.t) Arg.p
+   type  'a      t = ('a,     Unit.t) t
+   type  'a      s = ('a,     Unit.t) s
+   type ('a, 'k) p = ('a, 'k, Unit.t) p
 end
 
 functor CloseCases (Arg : OPEN_CASES) :>

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/reg-basis-exns.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/reg-basis-exns.fun	2007-08-31 16:01:35 UTC (rev 5979)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/reg-basis-exns.fun	2007-08-31 16:35:48 UTC (rev 5980)
@@ -4,9 +4,9 @@
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
-functor RegBasisExns (Arg : CLOSED_CASES) = struct
+functor RegBasisExns (include CLOSED_CASES) = struct
    val () = let
-      open Arg Generics IEEEReal OS OS.IO OS.Path Time
+      open Generics IEEEReal OS OS.IO OS.Path Time
 
       local
          fun lift f a = SOME (f a) handle Match => NONE