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
|
(* TEST
flags = "-nostdlib -nopervasives";
expect;
*)
module Foo : sig
type t
module Bar : sig
type t
end
val to_ : t -> Bar.t
val from: Bar.t -> t
end = struct
type t
module Bar = struct
type nonrec t = t
end
let to_ x = x
let from x = x
end
;;
[%%expect{|
module Foo :
sig
type t
module Bar : sig type t end
val to_ : t -> Bar.t
val from : Bar.t -> t
end
|}]
module Extended = struct
include Foo
module Bar = struct
include Bar
let int = 42
end
end
;;
[%%expect{|
module Extended :
sig
type t = Foo.t
val to_ : t -> Foo.Bar.t
val from : Foo.Bar.t -> t
module Bar : sig type t = Foo.Bar.t val int : int end
end
|}]
module type Extended = sig
include module type of struct include Foo end
module Bar : sig
include module type of struct include Bar end
val int : int
end
end
;;
[%%expect{|
module type Extended =
sig
type t = Foo.t
val to_ : t -> Foo.Bar.t
val from : Foo.Bar.t -> t
module Bar : sig type t = Foo.Bar.t val int : int end
end
|}]
|
