aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Arnaud Spiwack <arnaud@spiwack.net>2014-07-11 14:36:37 +0200
committerGravatar Arnaud Spiwack <arnaud@spiwack.net>2014-07-11 14:36:37 +0200
commitb56c318f471e3c82cebbd64aa80ceb83e8ae8b63 (patch)
tree78b00a7de45ca968c580a5a4c4b810212c8c18b8
parent677a9b8e62893416ac195e316473a4bd421a1d79 (diff)
An outdated comment + comment layout.
-rw-r--r--lib/store.ml25
1 files changed, 12 insertions, 13 deletions
diff --git a/lib/store.ml b/lib/store.ml
index 272d87ca3..a3ffc6d1d 100644
--- a/lib/store.ml
+++ b/lib/store.ml
@@ -6,14 +6,13 @@
(* * GNU Lesser General Public License Version 2.1 *)
(***********************************************************************)
-(*** This module implements an "untyped store", in this particular case we
- see it as an extensible record whose fields are left unspecified. ***)
+(** This module implements an "untyped store", in this particular case
+ we see it as an extensible record whose fields are left
+ unspecified. ***)
-(* We give a short implementation of a universal type. This is mostly equivalent
- to what is proposed by module Dyn.ml, except that it requires no explicit tag. *)
-
-(* We use a dynamic "name" allocator. But if we needed to serialise stores, we
-might want something static to avoid troubles with plugins order. *)
+(** We use a dynamic "name" allocator. But if we needed to serialise
+ stores, we might want something static to avoid troubles with
+ plugins order. *)
module type T =
sig
@@ -34,13 +33,13 @@ end
module Make (M : T) : S =
struct
-let next =
- let count = ref 0 in fun () ->
- let n = !count in
- incr count;
- n
+ let next =
+ let count = ref 0 in fun () ->
+ let n = !count in
+ incr count;
+ n
-type t = Obj.t option array
+ type t = Obj.t option array
(** Objects are accessed through an array access. *)
type 'a field = int