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
|
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 *)
} -> ()
|
