Skip to content

Commit 9194341

Browse files
committed
flambda-backend: Consequence of b5b4815 on expect tests (removing empty lines).
1 parent 0aa3ae2 commit 9194341

File tree

200 files changed

+0
-5701
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

200 files changed

+0
-5701
lines changed

testsuite/tests/basic-modules/recursive_module_evaluation_errors.ml

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -36,9 +36,7 @@ type t = ..
3636
module rec A: sig type t += A end = struct type t += A = B.A end
3737
and B:sig type t += A end = struct type t += A = A.A end
3838
[%%expect {|
39-
4039
type t = ..
41-
4240
Line 2, characters 36-64:
4341
2 | module rec A: sig type t += A end = struct type t += A = B.A end
4442
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -65,7 +63,6 @@ end = struct
6563
end
6664
and B: sig val value: unit end = struct let value = A.f () end
6765
[%%expect {|
68-
6966
Lines 4-7, characters 6-3:
7067
4 | ......struct
7168
5 | module F(X:sig end) = struct end
@@ -96,7 +93,6 @@ module F(X: sig module type t module M: t end) = struct
9693
and B: sig val value: unit end = struct let value = A.f () end
9794
end
9895
[%%expect {|
99-
10096
Lines 5-8, characters 8-5:
10197
5 | ........struct
10298
6 | module M = X.M
@@ -119,6 +115,5 @@ Line 9, characters 13-28:
119115
module rec M: sig val f: unit -> int end = struct let f () = N.x end
120116
and N:sig val x: int end = struct let x = M.f () end;;
121117
[%%expect {|
122-
123118
Exception: Undefined_recursive_module ("", 1, 43).
124119
|}]

testsuite/tests/basic-more/tailannots.ml

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,6 @@ let bad_annot_2 () =
2424
nop () [@tail];
2525
nop ()
2626
[%%expect{|
27-
2827
Line 2, characters 2-8:
2928
2 | nop () [@tail];
3029
^^^^^^
@@ -35,7 +34,6 @@ let bad_annot_3 () =
3534
nop () [@tail hint] [@nontail];
3635
nop ()
3736
[%%expect{|
38-
3937
Line 2, characters 2-8:
4038
2 | nop () [@tail hint] [@nontail];
4139
^^^^^^
@@ -46,7 +44,6 @@ let bad_annot_4 () =
4644
nop () [@tail ajsdiof];
4745
nop ()
4846
[%%expect{|
49-
5047
Line 2, characters 9-24:
5148
2 | nop () [@tail ajsdiof];
5249
^^^^^^^^^^^^^^^
@@ -60,6 +57,5 @@ let good_annot_2 () =
6057
nop () [@tail hint];
6158
nop () [@tail hint]
6259
[%%expect{|
63-
6460
val good_annot_2 : unit -> unit = <fun>
6561
|}]

testsuite/tests/basic/patmatch_incoherence.ml

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,6 @@ match { x = assert false } with
5151
| { x = "" } -> ()
5252
;;
5353
[%%expect{|
54-
5554
Lines 1-3, characters 0-18:
5655
1 | match { x = assert false } with
5756
2 | | { x = None } -> ()
@@ -68,7 +67,6 @@ match { x = assert false } with
6867
| { x = `X } -> ()
6968
;;
7069
[%%expect{|
71-
7270
Lines 1-3, characters 0-18:
7371
1 | match { x = assert false } with
7472
2 | | { x = None } -> ()
@@ -85,7 +83,6 @@ match { x = assert false } with
8583
| { x = 3 } -> ()
8684
;;
8785
[%%expect{|
88-
8986
Lines 1-3, characters 0-17:
9087
1 | match { x = assert false } with
9188
2 | | { x = [||] } -> ()
@@ -102,7 +99,6 @@ match { x = assert false } with
10299
| { x = 3 } -> ()
103100
;;
104101
[%%expect{|
105-
106102
Lines 1-3, characters 0-17:
107103
1 | match { x = assert false } with
108104
2 | | { x = `X } -> ()
@@ -119,7 +115,6 @@ match { x = assert false } with
119115
| { x = 3 } -> ()
120116
;;
121117
[%%expect{|
122-
123118
Lines 1-3, characters 0-17:
124119
1 | match { x = assert false } with
125120
2 | | { x = `X "lol" } -> ()
@@ -137,7 +132,6 @@ match { x = assert false } with
137132
| { x = 3 } -> ()
138133
;;
139134
[%%expect{|
140-
141135
Lines 1-4, characters 0-17:
142136
1 | match { x = assert false } with
143137
2 | | { x = (2., "") } -> ()

testsuite/tests/comprehensions/array_comprehensions_pure.ml

Lines changed: 0 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -179,7 +179,6 @@ Warning 26 [unused-var]: unused variable x.
179179
v} *)
180180
[|a for a in [|0|] for a in [|1|]|];;
181181
[%%expect{|
182-
183182
Line 1, characters 8-9:
184183
1 | [|a for a in [|0|] for a in [|1|]|];;
185184
^
@@ -198,7 +197,6 @@ Warning 26 [unused-var]: unused variable a.
198197
v} *)
199198
[|(a, b) for b in [|0|] for _ in [|0; 0|] for a in [|b|] and b = 0 downto -1|];;
200199
[%%expect{|
201-
202200
- : (int * int) array = [|(0, 0); (0, -1); (0, 0); (0, -1)|]
203201
|}];;
204202

@@ -207,7 +205,6 @@ Warning 26 [unused-var]: unused variable a.
207205
v} *)
208206
[|(a, b) for b in [|1|] for b in [|0|] and a in [|b|]|];;
209207
[%%expect{|
210-
211208
- : (int * int) array = [|(1, 0)|]
212209
|}];;
213210

@@ -216,7 +213,6 @@ Warning 26 [unused-var]: unused variable a.
216213
v} *)
217214
[|a for a in [|1|] and _ in [|0; 0|] when a > 0 for a in [|0|]|];;
218215
[%%expect{|
219-
220216
- : int array = [|0; 0|]
221217
|}];;
222218

@@ -225,7 +221,6 @@ Warning 26 [unused-var]: unused variable a.
225221
v} *)
226222
[|a for a in [|0|] and _ in [|0; 0|] for a in [|a; 1|]|];;
227223
[%%expect{|
228-
229224
- : int array = [|0; 1; 0; 1|]
230225
|}];;
231226

@@ -237,7 +232,6 @@ Warning 26 [unused-var]: unused variable a.
237232
comprehension. *)
238233
[|() for _ = 0 to 0|];
239234
[%%expect{|
240-
241235
- : unit array = [|()|]
242236
|}];;
243237

@@ -248,7 +242,6 @@ Warning 26 [unused-var]: unused variable a.
248242

249243
[|x for x in 100|];;
250244
[%%expect{|
251-
252245
Line 1, characters 13-16:
253246
1 | [|x for x in 100|];;
254247
^^^
@@ -262,14 +255,12 @@ Error: This expression has type int but an expression was expected of type
262255
(* It's unclear why these are different based on principality *)
263256
[|x for x in []|];;
264257
[%%expect{|
265-
266258
Line 1, characters 13-15:
267259
1 | [|x for x in []|];;
268260
^^
269261
Error: This expression has type 'a list
270262
but an expression was expected of type 'b array
271263
|}, Principal{|
272-
273264
Line 1, characters 13-15:
274265
1 | [|x for x in []|];;
275266
^^
@@ -283,7 +274,6 @@ Error: This expression has type 'a list
283274
let empty = [] in
284275
[|x for x in empty|];;
285276
[%%expect{|
286-
287277
Line 2, characters 13-18:
288278
2 | [|x for x in empty|];;
289279
^^^^^
@@ -294,7 +284,6 @@ Error: This expression has type 'a list
294284

295285
List.length [|i for i = 0 to 3|];;
296286
[%%expect{|
297-
298287
Line 1, characters 12-32:
299288
1 | List.length [|i for i = 0 to 3|];;
300289
^^^^^^^^^^^^^^^^^^^^
@@ -306,7 +295,6 @@ Error: This expression has type 'a array
306295

307296
[|x for x = 1.5 to 4.2|];;
308297
[%%expect{|
309-
310298
Line 1, characters 12-15:
311299
1 | [|x for x = 1.5 to 4.2|];;
312300
^^^
@@ -317,7 +305,6 @@ Error: This expression has type float but an expression was expected of type
317305

318306
[|x for x = 4.2 downto 1.5|];;
319307
[%%expect{|
320-
321308
Line 1, characters 12-15:
322309
1 | [|x for x = 4.2 downto 1.5|];;
323310
^^^
@@ -338,15 +325,12 @@ let t = (module struct
338325
let x = 3
339326
end : S);;
340327
[%%expect {|
341-
342328
module type S = sig type t val x : t end
343-
344329
val t : (module S) = <module>
345330
|}];;
346331

347332
[| M.x for (module M : S) in [| t |] |];;
348333
[%%expect {|
349-
350334
Line 1, characters 19-20:
351335
1 | [| M.x for (module M : S) in [| t |] |];;
352336
^
@@ -362,7 +346,6 @@ Error: Modules are not allowed in this pattern.
362346
|]
363347
|];;
364348
[%%expect {|
365-
366349
Line 2, characters 15-16:
367350
2 | for (module M : S) in
368351
^
@@ -376,7 +359,6 @@ Error: Modules are not allowed in this pattern.
376359
|]
377360
|];;
378361
[%%expect {|
379-
380362
Line 2, characters 15-16:
381363
2 | for (module M : S) in
382364
^
@@ -387,7 +369,6 @@ Error: Modules are not allowed in this pattern.
387369

388370
[|i for i = 1 to 3 and i = 3 downto 1|];;
389371
[%%expect{|
390-
391372
Line 1, characters 0-39:
392373
1 | [|i for i = 1 to 3 and i = 3 downto 1|];;
393374
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -396,7 +377,6 @@ Error: Variable i is bound several times in this matching
396377

397378
[|i for i = 1 to 3 and i in [|10; 20; 30|]|];;
398379
[%%expect{|
399-
400380
Line 1, characters 23-24:
401381
1 | [|i for i = 1 to 3 and i in [|10; 20; 30|]|];;
402382
^
@@ -405,7 +385,6 @@ Error: Variable i is bound several times in this matching
405385

406386
[|i for i in [|1; 2; 3|] and i = 3 downto 1|];;
407387
[%%expect{|
408-
409388
Line 1, characters 0-45:
410389
1 | [|i for i in [|1; 2; 3|] and i = 3 downto 1|];;
411390
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -414,7 +393,6 @@ Error: Variable i is bound several times in this matching
414393

415394
[|i for i in [|1; 2; 3|] and i in [|10; 20; 30|]|];;
416395
[%%expect{|
417-
418396
Line 1, characters 29-30:
419397
1 | [|i for i in [|1; 2; 3|] and i in [|10; 20; 30|]|];;
420398
^
@@ -423,7 +401,6 @@ Error: Variable i is bound several times in this matching
423401

424402
[|i for i, j in [|1, 10; 2, 20; 3, 30|] and k, i in [|10, 1; 20, 2; 30, 3|]|];
425403
[%%expect{|
426-
427404
Line 1, characters 47-48:
428405
1 | [|i for i, j in [|1, 10; 2, 20; 3, 30|] and k, i in [|10, 1; 20, 2; 30, 3|]|];
429406
^
@@ -434,7 +411,6 @@ Error: Variable i is bound several times in this matching
434411

435412
[|outer,inner for outer = inner to 3 for inner = 1 to 3|];;
436413
[%%expect{|
437-
438414
Line 1, characters 26-31:
439415
1 | [|outer,inner for outer = inner to 3 for inner = 1 to 3|];;
440416
^^^^^
@@ -446,7 +422,6 @@ Hint: Did you mean incr?
446422

447423
Array.append [|true|] [|i for i = 0 to 10|];;
448424
[%%expect{|
449-
450425
Line 1, characters 24-25:
451426
1 | Array.append [|true|] [|i for i = 0 to 10|];;
452427
^
@@ -462,19 +437,16 @@ module M = struct
462437
type t = A | B
463438
end;;
464439
[%%expect{|
465-
466440
module M : sig type t = A | B end
467441
|}];;
468442

469443
let x : M.t array = [|A for _ = 1 to 3|];;
470444
[%%expect{|
471-
472445
val x : M.t array = [|M.A; M.A; M.A|]
473446
|}];;
474447

475448
[|A for _ = 1 to 3|];;
476449
[%%expect{|
477-
478450
Line 1, characters 2-3:
479451
1 | [|A for _ = 1 to 3|];;
480452
^
@@ -483,10 +455,8 @@ Error: Unbound constructor A
483455

484456
Array.append [|M.B|] [|A for _ = 1 to 3|];;
485457
[%%expect{|
486-
487458
- : M.t array = [|M.B; M.A; M.A; M.A|]
488459
|}, Principal{|
489-
490460
Line 1, characters 23-24:
491461
1 | Array.append [|M.B|] [|A for _ = 1 to 3|];;
492462
^

0 commit comments

Comments
 (0)