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
|
(* TEST
flags = "-dshape";
expect;
*)
module M : sig
exception Exn of { lbl_exn : int }
type l = { lbl : int }
type ext = ..
type ext += Ext of { lbl_ext : int }
type t = C of { lbl_cstr : int }
end = struct
exception Exn of { lbl_exn : int }
type l = { lbl : int }
type ext = ..
type ext += Ext of { lbl_ext : int }
type t = C of { lbl_cstr : int }
end
[%%expect{|
{
"M"[module] ->
{<.37>
"Exn"[extension constructor] -> {<.1>
"lbl_exn"[label] -> <.0>;
};
"Ext"[extension constructor] -> {<.7>
"lbl_ext"[label] -> <.6>;
};
"ext"[type] -> <.5>;
"l"[type] -> {<.3>
"lbl"[label] -> <.4>;
};
"t"[type] ->
{<.9>
"C"[constructor] -> {<.11>
"lbl_cstr"[label] -> <.10>;
};
};
};
}
module M :
sig
exception Exn of { lbl_exn : int; }
type l = { lbl : int; }
type ext = ..
type ext += Ext of { lbl_ext : int; }
type t = C of { lbl_cstr : int; }
end
|}]
|
