blob: 29543b1c3992edca8df637091fb8cd1d9ff687ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
(* TEST
flags = " -w -a ";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
module M : sig
type make_dec
val add_dec: make_dec -> unit
end = struct
type u
module Fast: sig
type 'd t
val create: unit -> 'd t
module type S = sig
module Data: sig type t end
val key: Data.t t
end
module Register (D:S): sig end
val attach: 'd t -> 'd -> unit
end = struct
type 'd t = unit
let create () = ()
module type S = sig
module Data: sig type t end
val key: Data.t t
end
module Register (D:S) = struct end
let attach _ _ = ()
end
type make_dec
module Dem = struct
module Data = struct
type t = make_dec
end
let key = Fast.create ()
end
let _ = Dem.key (* force to evaluation the lazy substitution *)
module EDem = Fast.Register(Dem)
let add_dec dec =
Fast.attach Dem.key dec
end
(* variant without using a Data module *)
module M' : sig
type make_dec
val add_dec: make_dec -> unit
end = struct
type u
module Fast: sig
type 'd t
val create: unit -> 'd t
module type S = sig
type data
val key: data t
end
module Register (D:S): sig end
val attach: 'd t -> 'd -> unit
end = struct
type 'd t = unit
let create () = ()
module type S = sig
type data
val key: data t
end
module Register (D:S) = struct end
let attach _ _ = ()
end
type make_dec
module Dem = struct
type data = make_dec
let key = Fast.create ()
end
module EDem = Fast.Register(Dem)
let add_dec dec =
Fast.attach Dem.key dec
end
(* simpler version *)
module Simple = struct
type 'a t
module type S = sig
module Data: sig type t end
val key: Data.t t
end
module Register (D:S) = struct let key = D.key end
module M = struct
module Data = struct type t = int end
let key : _ t = Obj.magic ()
end
end;;
module EM = Simple.Register(Simple.M);;
Simple.M.key;;
module Simple2 = struct
type 'a t
module type S = sig
module Data: sig type t end
val key: Data.t t
end
module M = struct
module Data = struct type t = int end
let key : _ t = Obj.magic ()
end
module Register (D:S) = struct let key = D.key end
module EM = Simple.Register(Simple.M)
let k : M.Data.t t = M.key
end;;
|