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
|
let f x = match x with P ({ xxxxxx } :: { yyyyyyyy } :: zzzzzzz) -> true
let f x =
match x with
| P
({ xxxxxxxxxxxxxxxxxxxxxx }
:: { yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy }
:: zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz) ->
true
let f x = match x with P [ { xxxxxx }; { yyyyyyyy } ] -> true
let x = (x :: y) :: z
let x = match x with (x :: y) :: z -> ()
let _ = [ a; b; c ]
let _ = match x with Atom x -> x | List [ Atom x; Atom y ] -> x ^ y
let _ = match x with Atom x -> x | List (Atom x :: Atom y :: rest) -> x ^ y
let _ = match x with (x :: y) :: z -> true
let x = function
| [
"Lorem ipsum dolor sit amet, consectetur adipiscing elit";
[
"Lorem ipsum dolor sit amet, consectetur adipiscing elit";
(* ", sed do eiusmod tempor incididunt ut labore et dolore"; *)
"sed do eiusmod tempor incididunt ut labore et dolore"
(* " magna aliqua. Ut enim ad minim veniam, quis nostrud "; *)
(* "exercitation ullamco laboris nisi ut aliquip ex ea commodo " *);
];
(* ", sed do eiusmod tempor incididunt ut labore et dolore"; *)
"sed do eiusmod tempor incididunt ut labore et dolore"
(* " magna aliqua. Ut enim ad minim veniam, quis nostrud "; *)
(* "exercitation ullamco laboris nisi ut aliquip ex ea commodo " *);
] ->
()
[@@@ocamlformat "space-around-lists=true"]
let x = function
| [
"Lorem ipsum dolor sit amet, consectetur adipiscing elit";
[
"Lorem ipsum dolor sit amet, consectetur adipiscing elit";
(* ", sed do eiusmod tempor incididunt ut labore et dolore"; *)
"sed do eiusmod tempor incididunt ut labore et dolore"
(* " magna aliqua. Ut enim ad minim veniam, quis nostrud "; *)
(* "exercitation ullamco laboris nisi ut aliquip ex ea commodo " *);
];
(* ", sed do eiusmod tempor incididunt ut labore et dolore"; *)
"sed do eiusmod tempor incididunt ut labore et dolore"
(* " magna aliqua. Ut enim ad minim veniam, quis nostrud "; *)
(* "exercitation ullamco laboris nisi ut aliquip ex ea commodo " *);
] ->
()
| [
[ "Lorem ipsum dolor sit amet, consectetur adipiscing elit" ];
(* ", sed do eiusmod tempor incididunt ut labore et dolore"; *)
"sed do eiusmod tempor incididunt ut labore et dolore"
(* " magna aliqua. Ut enim ad minim veniam, quis nostrud "; *)
(* "exercitation ullamco laboris nisi ut aliquip ex ea commodo " *);
] ->
()
let _ = f (* A *) ~x:(a :: b) (* B *) ~y
let _ = f (* A *) ~x:((* B *) a :: b (* C *)) (* D *) ~y
let _ = f ~x:((* A *) a (* B *) :: (* C *) b (* D *) :: (* E *) c (* F *)) ~y
let _ = f ((* A *) x (* B *) :: (* C *) y (* D *) :: (* E *) z (* F *))
let _ = abc :: (* def :: *) ghi :: jkl
let _ = abc :: def (* :: ghi *) :: jkl
let _ = (c :: l1) @ foo (l2 @ l)
let _ =
make_single_trace create_loc message
:: make_single_trace create_loc create_message
:: List.map call_chain ~f:(fun foooooooooooooooooooooooooooo ->
fooooooooooooooooooooooooooooooo foooooooooooo [])
:: foooooooo :: fooooooooooooooooo
let _ =
fooooooo
(mk_var i (tfo_combine (nuc_p_o3'_60_tfo n) align) n
:: mk_var i (tfo_combine (nuc_p_o3'_180_tfo n) align) n
:: mk_var i (tfo_combine (nuc_p_o3'_275_tfo n) align) n
:: domains)
|
