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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
|
!_TAG_FILE_FORMAT 1 /without ;"/
!_TAG_FILE_SORTED 1 /0=unsorted, 1=sorted/
! test/a.ml /^let ( ! ) a b = a + b$/;
! test/a.ml /^external ( ! ) : 'a ref -> 'a = "%field0"$/;
*@@ test/c.mli /^val ( *@@ ) : 'a -> 'b -> 'c$/;
<:> test/a.ml /^let ( <:> ) x y = x + y;;$/;
<:> test/d.ml /^let ( <:> ) x y = x + y;;$/;
@@ test/c.mli /^val (@@) : 'a -> 'b -> 'c$/;
A test/a.ml 1;
A test/d.ml /^ | A of int$/;
A1 test/d.ml /^ | A1 of b_type$/;
A10 test/a.ml /^exception A10 of int * string$/;
A12 test/a.ml /^module A12 = Int32$/;
A13 test/a.ml /^module A13 = functor (X : Map.S) -> Int32$/;
A14 test/a.ml /^module A14 = struct$/;
A16 test/a.ml /^module A16 = functor(X : Map.S) ->$/;
A17 test/a.ml /^module A17(X : Map.S) = struct$/;
A18A test/a.ml /^module type A18A = sig$/;
A19 test/a.ml /^module A19 =$/;
A2 test/d.ml /^ | A2 of a_type$/;
A20 test/a.ml /^module A20 : A18A = struct$/;
A21 test/a.ml /^module type A21 = Map.S$/;
A22 test/a.ml /^module type A22 = sig$/;
A22a test/a.ml /^ exception A22a of int * int$/;
A22a test/a.ml /^ exception A22a of int * int$/;
A23 test/a.ml /^module type A23 = $/;
A24 test/a.ml /^ functor ( X : sig exception A24 of int end ) ->$/;
A25 test/a.ml /^ exception A25 of int * int$/;
A26 test/a.ml /^module type A26 = $/;
A33 test/a.ml /^ | A33$/;
A34 test/a.ml /^ | A34 of int$/;
A35 test/a.ml /^ | A35 of int * float$/;
A39 test/a.ml /^module type A39 = sig$/;
A8 test/a.ml /^exception A8$/;
A81 test/a.ml /^type a80 = A81$/;
A81 test/a.ml /^type a82 = a80 = A81$/;
A82 test/a.ml /^module rec A82 : A18A = struct$/;
A83 test/a.ml /^and A83 : sig $/;
A85 test/a.ml /^module type A85 = sig end$/;
A86 test/a.ml /^module A86 = (val (module struct end : A85) : A85)$/;
A9 test/a.ml /^exception A9 = A8$/;
A90 test/a.ml /^type a89 += A90 of int * string$/;
A91 test/a.ml /^type a89 += A91$/;
Add test/a.ml /^ | Add : (int -> int -> int) a87_term$/;
App test/a.ml /^ | App : ('b -> 'a) a87_term * 'b a87_term -> 'a a87_term$/;
B test/b.ml 1;
B test/d.ml /^ | B | C$/;
B1 test/d.ml /^ | B1 of b_type$/;
B2 test/d.ml /^ | B2 of a_type$/;
C test/c.mli 1;
C test/d.ml /^ | B | C$/;
C1 test/c.mli /^exception C1$/;
C11 test/c.mli /^and C11 : sig$/;
C3 test/c.mli /^module C3 : Map.S$/;
C4 test/c.mli /^module type C4 = sig$/;
C4 test/c.mli /^module C4 = C3$/;
C6 test/c.mli /^type c5 += C6 of int * string$/;
C7 test/c.mli /^type c5 += C7$/;
C9 test/c.mli /^module rec C9 : C4$/;
Cpp_h.generated test/cpp_h.generated.ml 1;
Cppo_h.generated test/cppo_h.generated.ml 1;
D test/d.ml 1;
E test/e.mli 1;
END test/d.ml /^module type END = sig $/;
END test/e.mli /^module type END = sig $/;
Int test/a.ml /^ | Int : int -> int a87_term$/;
Modu test/d.ml /^module Modu =$/;
No_value test/d.ml /^exception No_value$/;
_a69 test/a.ml /^let _a69 = 5$/;
_a70 test/a.ml /^type _a70 = int$/;
a test/d.ml /^type a =$/;
a0 test/a.ml /^let a0 = 5$/;
a1 test/a.ml /^let (a1, a2, a3) = (1,2,3)$/;
a11 test/a.ml /^external a11 : int -> int = "a13"$/;
a15 test/a.ml /^ let a15 x = x + 10$/;
a16 test/a.ml /^ let a16 = 16$/;
a18 test/a.ml /^ let a18 = 18$/;
a2 test/a.ml /^let (a1, a2, a3) = (1,2,3)$/;
a27 test/a.ml /^type a27 = int$/;
a28 test/a.ml /^type 'a a28 = int$/;
a29 test/a.ml /^type ('a, 'b, 'c) a29 = int$/;
a3 test/a.ml /^let (a1, a2, a3) = (1,2,3)$/;
a30 test/a.ml /^type + ' abc a30 = int$/;
a31 test/a.ml /^type - ' abc a31 = int$/;
a32 test/a.ml /^type a32 = $/;
a36 test/a.ml /^type a36 = {$/;
a37 test/a.ml /^ a37 : int;$/;
a38 test/a.ml /^ mutable a38 : int * int$/;
a40 test/a.ml /^ class type a40 = object end$/;
a41 test/a.ml /^ class ['a, 'b ] a41 : int -> a40$/;
a42 test/a.ml /^ class a42 : object$/;
a43 test/a.ml /^ method a43 : int$/;
a44 test/a.ml /^class type virtual ['a, 'b] a44 = $/;
a45 test/a.ml /^ method a45 : unit$/;
a46 test/a.ml /^ method private a46 : unit$/;
a47 test/a.ml /^ method private virtual a47 : unit$/;
a48 test/a.ml /^ method virtual a48 : unit$/;
a49 test/a.ml /^ val a49 : int$/;
a50 test/a.ml /^ val mutable a50 : int$/;
a51 test/a.ml /^ val virtual a51 : int$/;
a52 test/a.ml /^ val mutable virtual a52 : int$/;
a53 test/a.ml /^class type a53 = object end$/;
a54 test/a.ml /^class virtual ['a, 'b] a54 a b = $/;
a55 test/a.ml /^ inherit object method a55 = 0 end as anon$/;
a56 test/a.ml /^val a56 : 'a = xa$/;
a57 test/a.ml /^val mutable a57 = 8$/;
a58 test/a.ml /^val virtual a58 : int$/;
a59 test/a.ml /^val virtual mutable a59 : int$/;
a60 test/a.ml /^method virtual a60 : int$/;
a61 test/a.ml /^method virtual private a61 : int$/;
a62 test/a.ml /^method a62 = (b : 'b)$/;
a63 test/a.ml /^method private a63 = 8$/;
a64 test/a.ml /^let a64 = "\\\\" (* \/\\ *)$/;
a65 test/a.ml /^let a65 = '\/' (* \\\/ *)$/;
a66 test/a.ml /^class type a66 = object$/;
a67 test/a.ml /^ inherit object method a67 : int end$/;
a67 test/a.ml /^class a67 = $/;
a68 test/a.ml /^ method a68 = 5$/;
a68 test/a.ml /^ method a68 : int$/;
a7 test/a.ml /^let (a7 : int) = 1$/;
a80 test/a.ml /^type a80 = A81$/;
a82 test/a.ml /^type a82 = a80 = A81$/;
a84 test/a.ml /^ val a84 : int $/;
a84 test/a.ml /^ let a84 = 5$/;
a87_term test/a.ml /^type 'a a87_term =$/;
a88_eval test/a.ml /^let rec a88_eval : type a. a a87_term -> a = function$/;
a89 test/a.ml /^type a89 = ..$/;
a89 test/a.ml /^type a89 += A90 of int * string$/;
a89 test/a.ml /^type a89 += A91$/;
a90 test/a.ml /^let a90 [@foo "bar"] = 5$/;
a91 test/a.ml /^let (a91, a92 [@foo 55]) = (3,4)$/;
a92 test/a.ml /^let (a91, a92 [@foo 55]) = (3,4)$/;
a93 test/a.ml /^let (a93 [@foo 55], a94) = (3,4)$/;
a94 test/a.ml /^let (a93 [@foo 55], a94) = (3,4)$/;
a_type test/d.ml /^type a_type = $/;
add test/d.ml /^ method add n = match r with$/;
b test/d.ml /^type b = {g:int; rr:int}$/;
b test/d.ml /^ method b = a $/;
b1 test/b.ml /^let (b1, b2) as b3 = (1,2)$/;
b2 test/b.ml /^let (b1, b2) as b3 = (1,2)$/;
b3 test/b.ml /^let (b1, b2) as b3 = (1,2)$/;
b_class test/d.ml /^class b_class = [int * int] c$/;
b_type test/d.ml /^and b_type = $/;
c test/d.ml /^class ['a] c (a : 'a ) = object $/;
c0 test/c.mli /^val c0 : int$/;
c12 test/c.mli /^ type c12$/;
c13 test/c.mli /^module type c13$/;
c2 test/c.mli /^external c2 : int -> int = "c2"$/;
c5 test/c.mli /^ type c5$/;
c5 test/c.mli /^type c5 = ..$/;
c5 test/c.mli /^type c5 += C6 of int * string$/;
c5 test/c.mli /^type c5 += C7$/;
c6 test/c.mli /^type c6$/;
c7 test/c.mli /^type 'aaaa c7$/;
c8 test/c.mli /^type ('aaaa, 'bbbbbb) c8$/;
ccp_h_a test/cpp_h.source.ml /^let ccp_h_a = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"$/;
compare test/a.ml /^ val compare : tx -> tx -> int$/;
compare test/a.ml /^ let compare x y = 1$/;
compare test/a.ml /^ let compare x y = 1$/;
compare test/a.ml /^ let compare = compare$/;
cpp_inc_a test/cpp_h.include.ml /^let cpp_inc_a = 2$/;
cpp_inc_b test/cpp_h.include.ml /^let cpp_inc_b = 2$/;
cppo_h_a test/cppo_h.source.ml /^let cppo_h_a = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"$/;
cppo_h_a1 test/cppo_h.source.ml /^type cppo_h_a1 = int$/;
cppo_h_c test/cppo_h.source.ml /^type cppo_h_c = int$/;
cppo_h_e test/cppo_h.source.ml /^type cppo_h_e = int$/;
cppo_inc_a test/cppo_h.include.ml /^let cppo_inc_a = 2$/;
cppo_inc_b test/cppo_h.include.ml /^let cppo_inc_b = 2$/;
cppo_inc_c test/cppo_h.include.ml /^type cppo_inc_c = int$/;
d test/d.ml /^and ['a] d (a : 'a ) = object $/;
d20 test/d.ml /^let Modu.(d20) = 20$/;
dm test/d.ml /^ method dm = a $/;
end_t test/d.ml /^ type end_t $/;
end_t test/e.mli /^ type end_t $/;
end_val test/d.ml /^ val end_val : end_t$/;
end_val test/e.mli /^ val end_val : end_t$/;
f0 test/a.ml /^let f0 x y z = 6$/;
f1 test/d.ml /^let f1 x = 12$/;
f2 test/d.ml /^let f2 = function$/;
f2 test/d.ml /^let rec f2 = function$/;
f3 test/d.ml /^let f3, f4 = 0, 1$/;
f4 test/d.ml /^let f3, f4 = 0, 1$/;
f5 test/d.ml /^let f5 as f6 = fun x -> x$/;
f6 test/d.ml /^let f5 as f6 = fun x -> x$/;
f7 test/d.ml /^let f7 : int -> int = fun x -> x$/;
f8 test/d.ml /^let f8 : int -> int = fun x -> x$/;
g test/d.ml /^type b = {g:int; rr:int}$/;
get test/d.ml /^ method get = value r;$/;
get test/e.mli /^ method get : 'a$/;
get test/e.mli /^ method get : 'a$/;
get test/e.mli /^ method get : 'a$/;
int_value test/d.ml /^class int_value init = object (self)$/;
int_value1 test/e.mli /^class ['a] int_value1 : object $/;
int_value2 test/e.mli /^class type ['a] int_value2 = object $/;
int_value3 test/e.mli /^class ['a] int_value3 : 'a -> object $/;
mof test/d.ml /^ struct let mof = 3 end$/;
or test/a.ml /^let ( or ) l1 l2 = l1 @ l2$/;
r test/d.ml /^ val mutable r = init;$/;
r test/e.mli /^ val mutable r : 'a $/;
r test/e.mli /^ val mutable r : 'a $/;
r test/e.mli /^ val mutable r : 'a $/;
rr test/d.ml /^type b = {g:int; rr:int}$/;
set test/d.ml /^ method set n = r <- Some n;$/;
set test/e.mli /^ method set : 'a -> unit$/;
set test/e.mli /^ method set : 'a -> unit$/;
set test/e.mli /^ method set : 'a -> unit$/;
tx test/a.ml /^ type tx$/;
tx test/a.ml /^ type tx = int$/;
tx test/a.ml /^ type tx = int$/;
tx test/a.ml /^ type tx$/;
tx test/a.ml /^ type tx = int$/;
value test/d.ml /^let value = function$/;
x test/d.ml /^class x = $/;
x test/d.ml /^ (fun o -> object method x = o end) 5$/;
x_class test/d.ml /^class type x_class = object$/;
y test/d.ml /^ val mutable y : int$/;
|
