[MLton-commit] r5602
Vesa Karvonen
vesak at mlton.org
Fri Jun 8 09:11:13 PDT 2007
Added lib with a default Generic module.
----------------------------------------------------------------------
A mltonlib/trunk/com/ssh/generic/unstable/detail/default.sml
A mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml
D mltonlib/trunk/com/ssh/generic/unstable/detail/generic.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml
U mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml
A mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.cm
A mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb
U mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
U mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
D mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sml
D mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sml
D mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sml
D mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sml
D mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sml
D mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sml
----------------------------------------------------------------------
Added: mltonlib/trunk/com/ssh/generic/unstable/detail/default.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/default.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/default.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -0,0 +1,53 @@
+(* 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.
+ *)
+
+structure Generic : sig
+ include GENERICS
+
+ structure Ext : EXT_GENERIC
+
+ include GENERIC
+ where type 'a Index.t = ('a, Unit.t) Ext.Index.t
+ where type 'a Index.s = ('a, Unit.t) Ext.Index.s
+ where type ('a, 'k) Index.p = ('a, 'k, Unit.t) Ext.Index.p
+
+ include ARBITRARY sharing Ext.Index = Arbitrary
+ include DUMMY sharing Ext.Index = Dummy
+ include EQ sharing Ext.Index = Eq
+ include ORD sharing Ext.Index = Ord
+ include SHOW sharing Ext.Index = Show
+ include TYPE_INFO sharing Ext.Index = TypeInfo
+end = struct
+ open Generics
+
+ structure Ext = ExtGeneric
+
+ structure Ext = WithShow (Ext) open Ext
+ structure Ext = WithTypeInfo (Ext) open Ext structure TypeInfo = Ext
+ structure Ext = WithEq (Ext) open Ext
+ structure Ext = WithOrd (Ext) open Ext
+ structure Ext = WithDummy (Ext) open Ext
+
+ structure Ext = struct
+ structure Outer = Ext
+ structure TypeInfo = struct
+ open TypeInfo
+ structure TypeInfo = Outer.Index
+ end
+ structure RandomGen = RanQD1Gen
+ end
+
+ structure Ext = WithArbitrary (Ext) open Ext
+
+ structure Arbitrary = Ext.Index
+ structure Dummy = Ext.Index
+ structure Eq = Ext.Index
+ structure Ord = Ext.Index
+ structure Show = Ext.Index
+ structure TypeInfo = Ext.Index
+
+ structure Grounded = GroundGeneric (Ext) open Grounded
+end
Property changes on: mltonlib/trunk/com/ssh/generic/unstable/detail/default.sml
___________________________________________________________________
Name: svn:eol-style
+ native
Copied: mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml (from rev 5598, mltonlib/trunk/com/ssh/generic/unstable/detail/generic.sml)
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generic.sml 2007-06-07 18:51:39 UTC (rev 5598)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ext-generic.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -0,0 +1,60 @@
+(* 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.
+ *)
+
+structure ExtGeneric :> EXT_GENERIC = struct
+ (* <-- SML/NJ workaround *)
+ open Fn
+ (* SML/NJ workaround --> *)
+
+ structure Index = struct
+ type ('a, 'x) t = 'x
+ val getT = id
+ val mapT = id
+
+ type ('a, 'x) s = 'x
+ val getS = id
+ val mapS = id
+
+ type ('a, 'k, 'x) p = 'x
+ val getP = id
+ val mapP = id
+ end
+
+ val iso = id
+ val isoProduct = id
+ val isoSum = id
+ val op *` = id
+ val T = id
+ val R = id
+ val tuple = id
+ val record = id
+ val op +` = id
+ val C0 = id
+ val C1 = id
+ val data = id
+ val unit = id
+ val Y = id
+ val op --> = id
+ val exn = id
+ val regExn = id
+ val array = id
+ val refc = id
+ val vector = id
+ val largeInt = id
+ val largeReal = id
+ val largeWord = id
+ val word8 = id
+(* val word16 = id (* Word16 not provided by SML/NJ *) *)
+ val word32 = id
+ val word64 = id
+ val list = id
+ val bool = id
+ val char = id
+ val int = id
+ val real = id
+ val string = id
+ val word = id
+end
Deleted: mltonlib/trunk/com/ssh/generic/unstable/detail/generic.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generic.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generic.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,60 +0,0 @@
-(* 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.
- *)
-
-structure Generic :> EXT_GENERIC = struct
- (* <-- SML/NJ workaround *)
- open Fn
- (* SML/NJ workaround --> *)
-
- structure Index = struct
- type ('a, 'x) t = 'x
- val getT = id
- val mapT = id
-
- type ('a, 'x) s = 'x
- val getS = id
- val mapS = id
-
- type ('a, 'k, 'x) p = 'x
- val getP = id
- val mapP = id
- end
-
- val iso = id
- val isoProduct = id
- val isoSum = id
- val op *` = id
- val T = id
- val R = id
- val tuple = id
- val record = id
- val op +` = id
- val C0 = id
- val C1 = id
- val data = id
- val unit = id
- val Y = id
- val op --> = id
- val exn = id
- val regExn = id
- val array = id
- val refc = id
- val vector = id
- val largeInt = id
- val largeReal = id
- val largeWord = id
- val word8 = id
-(* val word16 = id (* Word16 not provided by SML/NJ *) *)
- val word32 = id
- val word64 = id
- val list = id
- val bool = id
- val char = id
- val int = id
- val real = id
- val string = id
- val word = id
-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-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ml/smlnj/unsealed.cm 2007-06-08 16:11:10 UTC (rev 5602)
@@ -6,6 +6,8 @@
group is
../../../../../extended-basis/unstable/basis.cm
+ ../../../../../prettier/unstable/lib.cm
+ ../../../../../random/unstable/lib.cm
../../../public/ext-generic-index.sig
../../../public/ext-generic.sig
../../../public/generic-index.sig
@@ -13,10 +15,22 @@
../../../public/generics-util.sig
../../../public/generics.sig
../../../public/join-generics-fun.sig
- ../../generic.sml
+ ../../../public/value/arbitrary.sig
+ ../../../public/value/dummy.sig
+ ../../../public/value/eq.sig
+ ../../../public/value/ord.sig
+ ../../../public/value/show.sig
+ ../../../public/value/type-info.sig
+ ../../ext-generic.sml
../../generics-util.sml
../../generics.sml
../../ground-generic.fun
../../join-generics.fun
../../lift-generic.fun
../../sml-syntax.sml
+ ../../value/arbitrary.sml
+ ../../value/dummy.sml
+ ../../value/eq.sml
+ ../../value/ord.sml
+ ../../value/show.sml
+ ../../value/type-info.sml
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/arbitrary.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -4,7 +4,7 @@
* See the LICENSE file or http://mlton.org/License for details.
*)
-functor WithArbitrary (Arg : WITH_ARBITRARY_DOM) :> ARBITRARY_GENERIC = struct
+functor WithArbitrary (Arg : WITH_ARBITRARY_DOM) : ARBITRARY_GENERIC = struct
(* <-- SML/NJ workaround *)
open Basic Fn Product Sum UnPr
infix 7 *`
@@ -58,7 +58,7 @@
(Pair.map (fn IN {cog, ...} => IN {gen = gen,cog = cog},
id))
- fun iso' (IN {gen, cog}) (iso as (a2b, b2a)) =
+ fun iso' (IN {gen, cog}) (a2b, b2a) =
IN {gen = map b2a gen, cog = cog o a2b}
fun morph outer f = outer (fn (a, x) => fn i => (iso' a i, f x i))
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -92,7 +92,7 @@
fun noDummy (_, x) = (NONE, x)
end
-functor WithDummy (Outer : EXT_GENERIC) :> DUMMY_GENERIC = struct
+functor WithDummy (Outer : EXT_GENERIC) : DUMMY_GENERIC = struct
structure Joined = JoinGenerics (structure Outer = Outer and Inner = Dummy)
open Dummy Joined
structure Dummy = Index
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/eq.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -90,7 +90,7 @@
fun notEq (eq, _) = negate eq
end
-functor WithEq (Outer : EXT_GENERIC) :> EQ_GENERIC = struct
+functor WithEq (Outer : EXT_GENERIC) : EQ_GENERIC = struct
structure Joined = JoinGenerics (structure Outer = Outer and Inner = Eq)
open Eq Joined
structure Eq = Index
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/ord.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -94,7 +94,7 @@
val compare = Pair.fst
end
-functor WithOrd (Outer : EXT_GENERIC) :> ORD_GENERIC = struct
+functor WithOrd (Outer : EXT_GENERIC) : ORD_GENERIC = struct
structure Joined = JoinGenerics (structure Outer = Outer and Inner = Ord)
open Ord Joined
structure Ord = Index
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/show.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -197,7 +197,7 @@
fun show m t = Prettier.pretty m o layout t
end
-functor WithShow (Outer : EXT_GENERIC) :> SHOW_GENERIC = struct
+functor WithShow (Outer : EXT_GENERIC) : SHOW_GENERIC = struct
structure Joined = JoinGenerics (structure Outer = Outer and Inner = Show)
open Joined
fun layout ? = Show.layout (Outer.Index.getT ?)
Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -153,7 +153,7 @@
fun canBeCyclic ? = (isRefOrArray andAlso (hasExn orElse hasRecData)) ?
end
-functor WithTypeInfo (Outer : EXT_GENERIC) :> TYPE_INFO_GENERIC = struct
+functor WithTypeInfo (Outer : EXT_GENERIC) : TYPE_INFO_GENERIC = struct
structure Joined = JoinGenerics (structure Outer = Outer and Inner = TypeInfo)
open TypeInfo Joined
structure TypeInfo = Index
Added: mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.cm
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.cm 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.cm 2007-06-08 16:11:10 UTC (rev 5602)
@@ -0,0 +1,14 @@
+(* 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.
+ *)
+
+library
+ library(lib.cm)
+ source(detail/default.sml)
+is
+ ../../extended-basis/unstable/basis.cm
+ ../../random/unstable/lib.cm
+ detail/default.sml
+ lib.cm
Added: mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb 2007-06-08 16:11:10 UTC (rev 5602)
@@ -0,0 +1,13 @@
+(* 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.
+ *)
+
+local
+ $(MLTON_LIB)/com/ssh/extended-basis/unstable/basis.mlb
+ $(MLTON_LIB)/com/ssh/random/unstable/lib.mlb
+in
+ lib.mlb
+ detail/default.sml
+end
Property changes on: mltonlib/trunk/com/ssh/generic/unstable/lib-with-default.mlb
___________________________________________________________________
Name: svn:eol-style
+ native
Modified: mltonlib/trunk/com/ssh/generic/unstable/lib.mlb
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/lib.mlb 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/lib.mlb 2007-06-08 16:11:10 UTC (rev 5602)
@@ -6,6 +6,8 @@
local
$(MLTON_LIB)/com/ssh/extended-basis/unstable/basis.mlb
+ $(MLTON_LIB)/com/ssh/prettier/unstable/lib.mlb
+ $(MLTON_LIB)/com/ssh/random/unstable/lib.mlb
in
ann
"forceUsed"
@@ -29,13 +31,31 @@
public/ext-generic-index.sig
public/ext-generic.sig
- detail/generic.sml
+ detail/ext-generic.sml
detail/ground-generic.fun
detail/lift-generic.fun
public/join-generics-fun.sig
detail/join-generics.fun
+
+ public/value/type-info.sig
+ detail/value/type-info.sml
+
+ public/value/arbitrary.sig
+ detail/value/arbitrary.sml
+
+ public/value/dummy.sig
+ detail/value/dummy.sml
+
+ public/value/eq.sig
+ detail/value/eq.sml
+
+ public/value/ord.sig
+ detail/value/ord.sml
+
+ public/value/show.sig
+ detail/value/show.sml
in
public/export.sml
end
Modified: mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/export.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/export.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -16,14 +16,33 @@
signature EXT_GENERIC = EXT_GENERIC
signature EXT_GENERIC_INDEX = EXT_GENERIC_INDEX
-signature JOIN_GENERICS_DOM = JOIN_GENERICS_DOM
+(** === Value Signatures === *)
+signature ARBITRARY = ARBITRARY
+signature ARBITRARY_GENERIC = ARBITRARY_GENERIC
+
+signature DUMMY = DUMMY
+signature DUMMY_GENERIC = DUMMY_GENERIC
+
+signature EQ = EQ
+signature EQ_GENERIC = EQ_GENERIC
+
+signature ORD = ORD
+signature ORD_GENERIC = ORD_GENERIC
+
+signature SHOW = SHOW
+signature SHOW_GENERIC = SHOW_GENERIC
+
+signature TYPE_INFO = TYPE_INFO
+signature TYPE_INFO_GENERIC = TYPE_INFO_GENERIC
+
(** == Exported Structures == *)
-structure Generic : EXT_GENERIC = Generic
structure Generics : GENERICS = Generics
structure GenericsUtil : GENERICS_UTIL = GenericsUtil
+structure ExtGeneric : EXT_GENERIC = ExtGeneric
+
(** == Exported Functors == *)
functor GroundGeneric (Arg : EXT_GENERIC) :
@@ -42,6 +61,8 @@
LiftGeneric (Arg)
(** Lifts an ordinary generic to an extensible generic. *)
+signature JOIN_GENERICS_DOM = JOIN_GENERICS_DOM
+
functor JoinGenerics (Arg : JOIN_GENERICS_DOM) :
EXT_GENERIC
where type ('a, 'b) Index.t =
@@ -56,3 +77,21 @@
* -constraints, the type-indices of the joined generic are compatible
* with the type-indices of the {Outer} generic.
*)
+
+(** === Value Functors === *)
+
+signature WITH_ARBITRARY_DOM = WITH_ARBITRARY_DOM
+
+functor WithArbitrary (Arg : WITH_ARBITRARY_DOM) : ARBITRARY_GENERIC =
+ WithArbitrary (Arg)
+
+functor WithDummy (Arg : EXT_GENERIC) : DUMMY_GENERIC = WithDummy (Arg)
+
+functor WithEq (Arg : EXT_GENERIC) : EQ_GENERIC = WithEq (Arg)
+
+functor WithOrd (Arg : EXT_GENERIC) : ORD_GENERIC = WithOrd (Arg)
+
+functor WithShow (Arg : EXT_GENERIC) : SHOW_GENERIC = WithShow (Arg)
+
+functor WithTypeInfo (Arg : EXT_GENERIC) : TYPE_INFO_GENERIC =
+ WithTypeInfo (Arg)
Deleted: mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/arbitrary.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,8 +0,0 @@
-(* 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 WithArbitrary (Arg : WITH_ARBITRARY_DOM) : ARBITRARY_GENERIC =
- WithArbitrary (Arg)
Deleted: mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/dummy.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,7 +0,0 @@
-(* 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 WithDummy (Outer : EXT_GENERIC) : DUMMY_GENERIC = WithDummy (Ext)
Deleted: mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/eq.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,7 +0,0 @@
-(* 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 WithEq (Outer : EXT_GENERIC) : EQ_GENERIC = WithEq (Outer)
Deleted: mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/ord.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,7 +0,0 @@
-(* 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 WithOrd (Outer : EXT_GENERIC) : ORD_GENERIC = WithOrd (Outer)
Deleted: mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/show.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,7 +0,0 @@
-(* 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 WithShow (Outer : EXT_GENERIC) : SHOW_GENERIC = WithShow (Outer)
Deleted: mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sml 2007-06-08 14:19:35 UTC (rev 5601)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/type-info.sml 2007-06-08 16:11:10 UTC (rev 5602)
@@ -1,8 +0,0 @@
-(* 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 WithTypeInfo (Outer : EXT_GENERIC) : TYPE_INFO_GENERIC =
- WithTypeInfo (Outer)
More information about the MLton-commit
mailing list