[MLton-commit] r6059
Vesa Karvonen
vesak at mlton.org
Sat Sep 29 12:03:46 PDT 2007
Added a base signature for CASES.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/debug.sml
U mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
A mltonlib/trunk/com/ssh/generic/unstable/public/cases.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
U mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/layer-dep-cases-fun.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/data-rec-info.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/dynamic.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/pickle.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/pretty.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/seq.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/shrink.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/size.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/some.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/transform.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/type-exp.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/type-hash.sig
U mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm 2007-09-29 19:03:42 UTC (rev 6059)
@@ -8,6 +8,7 @@
../../../../../extended-basis/unstable/basis.cm
../../../../../prettier/unstable/lib.cm
../../../../../random/unstable/lib.cm
+ ../../../public/cases.sig
../../../public/closed-cases.sig
../../../public/closed-rep.sig
../../../public/generic-extra.sig
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/debug.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/debug.sml 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/debug.sml 2007-09-29 19:03:42 UTC (rev 6059)
@@ -4,11 +4,7 @@
* See the LICENSE file or http://mlton.org/License for details.
*)
-signature WITH_DEBUG_DOM = sig
- structure Open : OPEN_CASES
-end
-
-functor WithDebug (Arg : WITH_DEBUG_DOM) : OPEN_CASES = struct
+functor WithDebug (Arg : CASES) : OPEN_CASES = struct
(* <-- SML/NJ workaround *)
open TopLevel
(* SML/NJ workaround --> *)
Modified: mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.mlb 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.mlb 2007-09-29 19:03:42 UTC (rev 6059)
@@ -38,6 +38,8 @@
public/open-rep.sig
public/open-cases.sig
+ public/cases.sig
+
public/generic.sig
public/generic-extra.sig
Added: mltonlib/trunk/com/ssh/generic/unstable/public/cases.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/cases.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/cases.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -0,0 +1,12 @@
+(* 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.
+ *)
+
+(**
+ * A base signature for the "cases" of generics.
+ *)
+signature CASES = sig
+ structure Open : OPEN_CASES
+end
Property changes on: mltonlib/trunk/com/ssh/generic/unstable/public/cases.sig
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/export.sml 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/export.sml 2007-09-29 19:03:42 UTC (rev 6059)
@@ -12,6 +12,8 @@
signature OPEN_CASES = OPEN_CASES
signature OPEN_REP = OPEN_REP
+signature CASES = CASES
+
signature LAYERED_REP = LAYERED_REP
signature GENERIC = GENERIC
@@ -108,8 +110,7 @@
functor WithDataRecInfo (Arg : WITH_DATA_REC_INFO_DOM) : DATA_REC_INFO_CASES =
WithDataRecInfo (Arg)
-signature WITH_DEBUG_DOM = WITH_DEBUG_DOM
-functor WithDebug (Arg : WITH_DEBUG_DOM) : OPEN_CASES = WithDebug (Arg)
+functor WithDebug (Arg : CASES) : OPEN_CASES = WithDebug (Arg)
(**
* Checks dynamically that
* - labels are unique within each record,
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/generic.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -8,8 +8,7 @@
* Base signature for a module of directly usable generics.
*)
signature GENERIC = sig
- structure Open : OPEN_CASES
-
+ include CASES
include CLOSED_CASES
where type 'a Rep.t = ('a, Unit.t) Open.Rep.t
where type 'a Rep.s = ('a, Unit.t) Open.Rep.s
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -8,8 +8,7 @@
* Signature for the domain of the {LayerCases} functor.
*)
signature LAYER_CASES_DOM = sig
- structure Open : OPEN_CASES
- include LAYERED_REP CLOSED_CASES
+ include CASES LAYERED_REP CLOSED_CASES
sharing Open.Rep = Outer
sharing Rep = This
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/layer-dep-cases-fun.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/layer-dep-cases-fun.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/layer-dep-cases-fun.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -8,8 +8,7 @@
* Signature for the domain of the {LayerDepCases} functor.
*)
signature LAYER_DEP_CASES_DOM = sig
- structure Open : OPEN_CASES
- include LAYERED_REP
+ include CASES LAYERED_REP
sharing Open.Rep = Outer
val iso : ('b, 'y) t -> ('a, 'b) Iso.t -> 'a This.t
val isoProduct : ('b, 'k, 'y) p -> ('a, 'b) Iso.t -> ('a, 'k) This.p
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -24,14 +24,12 @@
end
signature ARBITRARY_CASES = sig
- structure Open : OPEN_CASES
- include ARBITRARY
+ include CASES ARBITRARY
sharing Open.Rep = ArbitraryRep
end
signature WITH_ARBITRARY_DOM = sig
- structure Open : OPEN_CASES
- include HASH TYPE_INFO
+ include CASES HASH TYPE_INFO
sharing Open.Rep = HashRep = TypeInfoRep
structure RandomGen : RANDOM_GEN
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/data-rec-info.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/data-rec-info.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/data-rec-info.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -55,11 +55,8 @@
end
signature DATA_REC_INFO_CASES = sig
- structure Open : OPEN_CASES
- include DATA_REC_INFO
+ include CASES DATA_REC_INFO
sharing Open.Rep = DataRecInfoRep
end
-signature WITH_DATA_REC_INFO_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_DATA_REC_INFO_DOM = CASES
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/dynamic.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/dynamic.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/dynamic.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -61,11 +61,8 @@
end
signature DYNAMIC_CASES = sig
- structure Open : OPEN_CASES
- include DYNAMIC
+ include CASES DYNAMIC
sharing Open.Rep = DynamicRep
end
-signature WITH_DYNAMIC_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_DYNAMIC_DOM = CASES
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -60,11 +60,8 @@
end
signature EQ_CASES = sig
- structure Open : OPEN_CASES
- include EQ
+ include CASES EQ
sharing Open.Rep = EqRep
end
-signature WITH_EQ_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_EQ_DOM = CASES
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/hash.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -41,13 +41,11 @@
end
signature HASH_CASES = sig
- structure Open : OPEN_CASES
- include HASH
+ include CASES HASH
sharing Open.Rep = HashRep
end
signature WITH_HASH_DOM = sig
- structure Open : OPEN_CASES
- include TYPE_HASH TYPE_INFO
+ include CASES TYPE_HASH TYPE_INFO
sharing Open.Rep = TypeHashRep = TypeInfoRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -46,8 +46,7 @@
end
signature ORD_CASES = sig
- structure Open : OPEN_CASES
- include ORD
+ include CASES ORD
sharing Open.Rep = OrdRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/pickle.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/pickle.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/pickle.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -138,14 +138,12 @@
end
signature PICKLE_CASES = sig
- structure Open : OPEN_CASES
- include PICKLE
+ include CASES PICKLE
sharing Open.Rep = PickleRep
end
signature WITH_PICKLE_DOM = sig
- structure Open : OPEN_CASES
- include DATA_REC_INFO EQ HASH SOME TYPE_HASH TYPE_INFO
+ include CASES DATA_REC_INFO EQ HASH SOME TYPE_HASH TYPE_INFO
sharing Open.Rep = DataRecInfoRep = EqRep = HashRep = SomeRep = TypeHashRep
= TypeInfoRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/pretty.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/pretty.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/pretty.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -174,8 +174,7 @@
end
signature PRETTY_CASES = sig
- structure Open : OPEN_CASES
- include PRETTY
+ include CASES PRETTY
sharing Open.Rep = PrettyRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -39,11 +39,8 @@
end
signature REDUCE_CASES = sig
- structure Open : OPEN_CASES
- include REDUCE
+ include CASES REDUCE
sharing Open.Rep = ReduceRep
end
-signature WITH_REDUCE_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_REDUCE_DOM = CASES
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/seq.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/seq.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/seq.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -31,8 +31,7 @@
end
signature SEQ_CASES = sig
- structure Open : OPEN_CASES
- include SEQ
+ include CASES SEQ
sharing Open.Rep = SeqRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/shrink.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/shrink.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/shrink.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -34,13 +34,11 @@
end
signature SHRINK_CASES = sig
- structure Open : OPEN_CASES
- include SHRINK
+ include CASES SHRINK
sharing Open.Rep = ShrinkRep
end
signature WITH_SHRINK_DOM = sig
- structure Open : OPEN_CASES
- include ORD SIZE
+ include CASES ORD SIZE
sharing Open.Rep = OrdRep = SizeRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/size.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/size.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/size.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -30,13 +30,11 @@
end
signature SIZE_CASES = sig
- structure Open : OPEN_CASES
- include SIZE
+ include CASES SIZE
sharing Open.Rep = SizeRep
end
signature WITH_SIZE_DOM = sig
- structure Open : OPEN_CASES
- include HASH TYPE_INFO
+ include CASES HASH TYPE_INFO
sharing Open.Rep = HashRep = TypeInfoRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/some.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/some.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/some.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -30,8 +30,7 @@
end
signature SOME_CASES = sig
- structure Open : OPEN_CASES
- include SOME
+ include CASES SOME
sharing Open.Rep = SomeRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/transform.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/transform.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/transform.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -32,8 +32,7 @@
end
signature TRANSFORM_CASES = sig
- structure Open : OPEN_CASES
- include TRANSFORM
+ include CASES TRANSFORM
sharing Open.Rep = TransformRep
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/type-exp.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/type-exp.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/type-exp.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -20,11 +20,8 @@
end
signature TYPE_EXP_CASES = sig
- structure Open : OPEN_CASES
- include TYPE_EXP
+ include CASES TYPE_EXP
sharing Open.Rep = TypeExpRep
end
-signature WITH_TYPE_EXP_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_TYPE_EXP_DOM = CASES
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/type-hash.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/type-hash.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/type-hash.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -17,11 +17,8 @@
end
signature TYPE_HASH_CASES = sig
- structure Open : OPEN_CASES
- include TYPE_HASH
+ include CASES TYPE_HASH
sharing Open.Rep = TypeHashRep
end
-signature WITH_TYPE_HASH_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_TYPE_HASH_DOM = CASES
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig 2007-09-29 16:04:31 UTC (rev 6058)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sig 2007-09-29 19:03:42 UTC (rev 6059)
@@ -35,11 +35,8 @@
end
signature TYPE_INFO_CASES = sig
- structure Open : OPEN_CASES
- include TYPE_INFO
+ include CASES TYPE_INFO
sharing Open.Rep = TypeInfoRep
end
-signature WITH_TYPE_INFO_DOM = sig
- structure Open : OPEN_CASES
-end
+signature WITH_TYPE_INFO_DOM = CASES
More information about the MLton-commit
mailing list