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
|
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 )
|
