[MLton-commit] r5642
Vesa Karvonen
vesak at mlton.org
Mon Jun 18 22:12:41 PDT 2007
Whitespace and comment changes.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun
U mltonlib/trunk/com/ssh/generic/unstable/detail/join-generics.fun
U mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/generics-util.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/layer-generic-rep-fun.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/layered-generic-rep.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/open-generic-rep.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/open-generic.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/close-generic.fun 2007-06-19 05:12:39 UTC (rev 5642)
@@ -6,19 +6,19 @@
functor CloseGenericRep (Arg : OPEN_GENERIC_REP) :>
CLOSED_GENERIC_REP
- where type 'a t = ('a, Unit.t) Arg.t
- where type 'a s = ('a, Unit.t) Arg.s
+ 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 =
struct
- type 'a t = ('a, Unit.t) Arg.t
- type 'a s = ('a, Unit.t) Arg.s
+ 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
end
functor CloseGeneric (Arg : OPEN_GENERIC) :>
CLOSED_GENERIC
- where type 'a Rep.t = ('a, Unit.t) Arg.Rep.t
- where type 'a Rep.s = ('a, Unit.t) Arg.Rep.s
+ where type 'a Rep.t = ('a, Unit.t) Arg.Rep.t
+ where type 'a Rep.s = ('a, Unit.t) Arg.Rep.s
where type ('a, 'k) Rep.p = ('a, 'k, Unit.t) Arg.Rep.p =
struct
(* <-- SML/NJ workaround *)
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/join-generics.fun
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/join-generics.fun 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/join-generics.fun 2007-06-19 05:12:39 UTC (rev 5642)
@@ -11,36 +11,30 @@
functor JoinGenericReps (Arg : JOIN_GENERIC_REPS_DOM) :>
OPEN_GENERIC_REP
- where type ('a, 'x) t =
- ('a, ('a, 'x) Arg.Inner.t) Arg.Outer.t
- where type ('a, 'x) s =
- ('a, ('a, 'x) Arg.Inner.s) Arg.Outer.s
- where type ('a, 'k, 'x) p =
- ('a, 'k, ('a, 'k, 'x) Arg.Inner.p) Arg.Outer.p =
+ where type ('a, 'x) t = ('a, ('a, 'x) Arg.Inner.t) Arg.Outer.t
+ where type ('a, 'x) s = ('a, ('a, 'x) Arg.Inner.s) Arg.Outer.s
+ where type ('a,'k,'x) p = ('a,'k,('a,'k,'x) Arg.Inner.p) Arg.Outer.p =
struct
open Arg
- type ('a, 'x) t = ('a, ('a, 'x) Inner.t) Outer.t
- fun getT ? = Inner.getT (Outer.getT ?)
- fun mapT ? = Outer.mapT (Inner.mapT ?)
+ type ('a, 'x) t = ('a, ('a, 'x) Inner.t) Outer.t
+ type ('a, 'x) s = ('a, ('a, 'x) Inner.s) Outer.s
+ type ('a, 'k, 'x) p = ('a, 'k, ('a, 'k, 'x) Inner.p) Outer.p
- type ('a, 'x) s = ('a, ('a, 'x) Inner.s) Outer.s
+ fun getT ? = Inner.getT (Outer.getT ?)
fun getS ? = Inner.getS (Outer.getS ?)
- fun mapS ? = Outer.mapS (Inner.mapS ?)
-
- type ('a, 'k, 'x) p = ('a, 'k, ('a, 'k, 'x) Inner.p) Outer.p
fun getP ? = Inner.getP (Outer.getP ?)
+
+ fun mapT ? = Outer.mapT (Inner.mapT ?)
+ fun mapS ? = Outer.mapS (Inner.mapS ?)
fun mapP ? = Outer.mapP (Inner.mapP ?)
end
functor JoinGenerics (Arg : JOIN_GENERICS_DOM) :>
OPEN_GENERIC
- where type ('a, 'x) Rep.t =
- ('a, ('a, 'x) Arg.Inner.Rep.t) Arg.Outer.Rep.t
- where type ('a, 'x) Rep.s =
- ('a, ('a, 'x) Arg.Inner.Rep.s) Arg.Outer.Rep.s
- where type ('a, 'k, 'x) Rep.p =
- ('a, 'k, ('a, 'k, 'x) Arg.Inner.Rep.p) Arg.Outer.Rep.p =
+ where type ('a, 'x) Rep.t = ('a, ('a, 'x) Arg.Inner.Rep.t) Arg.Outer.Rep.t
+ where type ('a, 'x) Rep.s = ('a, ('a, 'x) Arg.Inner.Rep.s) Arg.Outer.Rep.s
+ where type ('a,'k,'x) Rep.p = ('a,'k,('a,'k,'x) Arg.Inner.Rep.p) Arg.Outer.Rep.p =
struct
open Arg
structure Rep = JoinGenericReps (structure Outer = Outer.Rep
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -5,15 +5,10 @@
*)
(**
- * Signature for the closed representation types of generic values.
+ * Signature for the closed representation types of generics.
*)
signature CLOSED_GENERIC_REP = sig
- type 'a t
- (** Type of complete representations. *)
-
- type 'a s
- (** Type of incomplete sum representations. *)
-
- type ('a, 'k) p
- (** Type of incomplete product representations. *)
+ type 'a t (** Type of complete representations. *)
+ type 'a s (** Type of incomplete sum representations. *)
+ type ('a, 'k) p (** Type of incomplete product representations. *)
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -5,7 +5,7 @@
*)
(**
- * Signature for closed generic values.
+ * Signature for closed generics.
*)
signature CLOSED_GENERIC = sig
structure Rep : CLOSED_GENERIC_REP
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -11,7 +11,7 @@
structure Open : OPEN_GENERIC
include CLOSED_GENERIC
- where type 'a Rep.t = ('a, Unit.t) Open.Rep.t
- where type 'a Rep.s = ('a, Unit.t) Open.Rep.s
+ where type 'a Rep.t = ('a, Unit.t) Open.Rep.t
+ where type 'a Rep.s = ('a, Unit.t) Open.Rep.s
where type ('a, 'k) Rep.p = ('a, 'k, Unit.t) Open.Rep.p
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/generics-util.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/generics-util.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/generics-util.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -5,7 +5,7 @@
*)
(**
- * Signature for utilities for defining generic values.
+ * Signature for utilities for defining generics.
*)
signature GENERICS_UTIL = sig
(** == For Defining Closed Generic Functions == *)
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/layer-generic-rep-fun.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/layer-generic-rep-fun.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/layer-generic-rep-fun.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -4,6 +4,9 @@
* See the LICENSE file or http://mlton.org/License for details.
*)
+(**
+ * Signature for the domain of the {LayerGenericRep} functor.
+ *)
signature LAYER_GENERIC_REP_DOM = sig
structure Outer : OPEN_GENERIC_REP
structure Closed : CLOSED_GENERIC_REP
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/layered-generic-rep.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/layered-generic-rep.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/layered-generic-rep.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -5,7 +5,7 @@
*)
(**
- * Signature for the layered representation types of generic values.
+ * Signature for the layered representation types of generics.
*)
signature LAYERED_GENERIC_REP = sig
structure Outer : OPEN_GENERIC_REP
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/open-generic-rep.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/open-generic-rep.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/open-generic-rep.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -5,7 +5,7 @@
*)
(**
- * Signature for the open representation types of generic values.
+ * Signature for the open representation types of generics.
*)
signature OPEN_GENERIC_REP = sig
(** == Complete Representations == *)
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/open-generic.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/open-generic.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/open-generic.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -5,7 +5,7 @@
*)
(**
- * Signature for open generic values. This is basically derived from the
+ * Signature for open generics. This is basically derived from the
* {CLOSED_GENERIC} signature by parameterizing the representation to
* allow building extended representations.
*)
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig 2007-06-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -8,9 +8,9 @@
* A signature for a generic dummy value. In SML, dummy values are needed
* for things such as computing fixpoints and building cyclic values.
*
- * This generic value is unlikely to be directly useful in application
- * programs and is more likely to be used internally in the implementation
- * of some other generic values (e.g. pickling).
+ * This generic is unlikely to be directly useful in application programs
+ * and is more likely to be used internally in the implementation of some
+ * other generics (e.g. pickling).
*)
signature DUMMY = sig
structure Dummy : OPEN_GENERIC_REP
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-17 13:04:17 UTC (rev 5641)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig 2007-06-19 05:12:39 UTC (rev 5642)
@@ -16,7 +16,7 @@
*
* This generic value is unlikely to be directly useful in application
* programs and is more likely to be used internally in the implementation
- * of some other generic values (e.g. pickling).
+ * of some other generics (e.g. pickling).
*)
signature TYPE_INFO = sig
structure TypeInfo : OPEN_GENERIC_REP
More information about the MLton-commit
mailing list