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
|
(* TEST
expect;
*)
let () =
Format.set_geometry ~max_indent:28 ~margin:30;
Format.printf (
Format.format_text
"@[\
A first paragraph containing
a newline and some characters.
A second paragraph,
split from the first one by a new line,
and with few more newlines inside.
The end.@]@."
)
[%%expect {|
A first paragraph containing
a newline and some
characters.
A second paragraph, split
from the first one by a new
line, and with few more
newlines inside.
The end.
|}]
let test n =
let open Format in
set_geometry ~max_indent:(n-2) ~margin:n;
printf (format_text
"@[<v>@[qualibus @[in@] @[tenebris@] vitae quantisque periclis@] \
@[degitur hoc aevi quod cumquest! nonne videre@] \
@[nihil aliud sibinaturam latrare, nisi ut qui@] \
@[corpore seiunctus dolor absit, mente fruatur@] \
@[iucundo sensu cura semota metuque?@] %s@]@."
)
"De rerum natura, Lucretius"
[%%expect {|
val test : int -> unit = <fun>
|}]
let () = test 20
[%%expect {|
qualibus in
tenebris vitae
quantisque periclis
degitur hoc aevi
quod cumquest!
nonne videre
nihil aliud
sibinaturam
latrare, nisi ut
qui
corpore seiunctus
dolor absit, mente
fruatur
iucundo sensu cura
semota metuque?
De rerum natura, Lucretius
|}]
let () = test 40
[%%expect {|
qualibus in tenebris vitae quantisque
periclis
degitur hoc aevi quod cumquest! nonne
videre
nihil aliud sibinaturam latrare, nisi
ut qui
corpore seiunctus dolor absit, mente
fruatur
iucundo sensu cura semota metuque?
De rerum natura, Lucretius
|}]
let () = test 80
[%%expect {|
qualibus in tenebris vitae quantisque periclis
degitur hoc aevi quod cumquest! nonne videre
nihil aliud sibinaturam latrare, nisi ut qui
corpore seiunctus dolor absit, mente fruatur
iucundo sensu cura semota metuque?
De rerum natura, Lucretius
|}]
|
