blob: cf3b244a2a515f2aef0383a13e2dd1c080feb097 (
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
|
(* TEST
flags = " -w -a ";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
(** Check that rebinding module preserves private type aliases *)
module String_id : sig
module type S = sig
type t = private string
val of_string : string -> t
end
include S
module Make (M : sig val module_name : string end) : S
end = struct
module type S = sig
type t = private string
val of_string : string -> t
end
module String = struct
type t = string
end
module Make (M : sig val module_name : string end) = struct
include String
let of_string s =
Printf.printf "converting %s\n" M.module_name;
s
end
include Make (struct let module_name = "String_id" end)
end
let () =
let foo = String_id.of_string "foo" in
Printf.printf "foo = %s\n" (foo :> string)
let () =
let module Bar = String_id.Make(struct let module_name="Bar" end) in
let bar = Bar.of_string "bar" in
Printf.printf "bar = %s\n" (bar :> string)
let () =
let module String_id2 = String_id in
let module Baz = String_id2.Make(struct let module_name="Baz" end) in
let baz = Baz.of_string "baz" in
Printf.printf "baz = %s\n" (baz :> string)
|
