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
123
124
125
126
127
128
129
130
131
132
133
134
|
type t = {
a : int; (* some comment *)
b : float;
c : string;
d : [ `something_looooooooooooooooooooooooooooooooong ];
}
type t = {
a : int; (** some comment *)
b : float;
c : string;
d : [ `something_looooooooooooooooooooooooooooooooong ];
}
type t = { a : int; (* Comment *) b : int (* Comment *) }
type t = {
a : int; (* Comment *)
b : int; (* Comment *)
}
[@@ocamlformat "type-decl=sparse"]
let {
(* cmts *)
pat;
loooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong;
a;
(* b *) b;
(* c *) c;
d =
(* d *)
(D : loooooooooooooooooooooooooooooooooooooooooooooooooooooooong_int);
(* e *)
e : loooooooooooooooooooooooooooooooooooooooooooooooooooooooong_int;
} =
exp
let x =
{
(* Xxxx xxxxxxxx xxxxx xx xx xx xxxx xxxxxx - XXxx_xxxxx xxx'x. *)
Irure_sed_a.in_nisi_sed = Irure_sed_fugiat.LaboRum sint_sed;
in_ea_deserunt = nulla;
}
type t = {
a : int option;
(* aaaaaaaaaaaaaaaaaaaaaa bbbbbbbbbbbbbbbbbbbbbb cccccccccccccccccccccccccccc ddddddddddddddddd eeeee *)
b : float;
(* aaaaaaaaaaaaaaaaaaaaaa bbbbbbbbbbbbbbbbbbbbbb cccccccccccccccccccccccccccc ddddddddddddddddd eeeee *)
}
type t =
| Tuple of { elts : t vector; packed : bool }
| Struct of {
name : string;
elts : t vector (* possibly cyclic, name unique *);
[@compare.ignore] [@equal.ignore] [@sexp_drop_if fun _ -> true]
elts : t vector;
(* possibly cyclic, name unique *)
(* mooooooooooooooooooooooooooooooooooore comments *)
[@compare.ignore]
[@equal.ignore]
[@sexp_drop_if fun _ -> true]
packed : bool;
}
| Opaque of { name : string }
[@@deriving compare, equal, hash, sexp]
type t = { (* c *) c (* c' *) : (* d *) d (* d' *) }
let _ =
{
(* a *) a (* a' *) = (* b *) b (* b' *);
(* c *) c (* c' *) : (* d *) d (* d' *) = (* e *) e (* e' *);
(* f *) f (* f' *);
(* g *) g (* g' *) =
(* j *) ((* h *) h (* h' *) : (* i *) i (* i' *)) (* j' *);
}
let {
(* a *) a (* a' *) = (* b *) b (* b' *);
(* c *) c (* c' *) : (* d *) d (* d' *) = (* e *) e (* e' *);
(* f *) f (* f' *);
(* g *) g (* g' *) =
(* j *) ((* h *) h (* h' *) : (* i *) i (* i' *)) (* j' *);
} =
x
type program = {
prog_globals : global list; (* global variables *)
prog_struct_types : lltype list; (* data structures *)
prog_lib_funcs : func list; (* library functions *)
}
type t = {
mutable ci_fixed : IntervalSet.t;
mutable ci_spilled :
(* spilled stack slots (reg.loc = Stack (Local n)) still in use *)
IntervalSet.t;
}
type t = {
mutable ci_fixed : IntervalSet.t;
mutable
(* spilled stack slots (reg.loc = Stack (Local n)) still in use *)
ci_spilled :
IntervalSet.t;
}
type t = {
mutable ci_fixed : IntervalSet.t;
mutable ci_spilled
(* spilled stack slots (reg.loc = Stack (Local n)) still in use *) :
IntervalSet.t;
}
let _ =
match c with
| {
issuer = _;
(* TODO *)
_;
} ->
()
| { issuer = _; (* TODO *) _ } -> ()
| { issuer = _; _ (* TODO *) } -> ()
| {
issuer = _;
(* TODO *)
_
(* TODO *);
} ->
()
| { issuer = _; (* TODO *) _ (* TODO *) } -> ()
|
