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
type elt =
| Para of string
| Verbatim of string
| BlankLine
type t = elt list
open Format
open FormatExt
open OASISValues
let of_string str =
let lst = OASISString.split_newline ~do_trim:false str in
let is_verbatim = OASISString.starts_with ~what:" " in
let rec parse =
function
| [""; ""] ->
[`BlankLine]
| [str; ""] ->
if is_verbatim str then
[`Verbatim str; `BlankLine]
else
[`ContPara str; `BlankLine]
| "" :: "" :: tl ->
`BlankLine :: (parse tl)
| str1 :: "" :: str2 :: tl when is_verbatim str2 ->
`ContPara str1 :: `BlankLine :: `Verbatim str2 :: (parse tl)
| str :: "" :: tl ->
if is_verbatim str then
(`Verbatim str) :: `BlankLine :: (parse tl)
else
(`ContPara str) :: `EndPara :: (parse tl)
| str :: tl ->
if is_verbatim str then
(`Verbatim str) :: (parse tl)
else
(`ContPara str) :: (parse tl)
| [] ->
[]
in
let rec join_para =
function
| `ContPara str1 :: `ContPara str2 :: tl ->
join_para ((`ContPara (str1 ^ " " ^ str2)) :: tl)
| `EndPara :: tl ->
join_para tl
| (`Verbatim _ | `ContPara _ | `BlankLine) as e :: tl ->
e :: join_para tl
| [] ->
[]
in
List.map
(function
| `ContPara str -> Para str
| `Verbatim str ->
Verbatim (String.sub str 1 ((String.length str) - 1))
| `BlankLine -> BlankLine)
(join_para (parse lst))
let pp_print_verbatim fmt str =
pp_print_char fmt ' ';
pp_print_string fmt str
let rec pp_print fmt =
function
| [Para str] ->
pp_print_para fmt ~end_para:false str
| [Verbatim str] ->
pp_print_verbatim fmt str
| [Para str; BlankLine] ->
pp_print_para fmt ~end_para:false str;
pp_print_newline fmt ()
| [Verbatim str; BlankLine] ->
pp_print_verbatim fmt str;
pp_print_newline fmt ()
| Para str :: BlankLine :: ((Verbatim _ :: _) as tl) ->
pp_print_para fmt str;
pp_print fmt tl
| Para str :: ((Verbatim _ :: _) as tl) ->
pp_print_para ~end_para:false fmt str;
pp_print_newline fmt ();
pp_print fmt tl
| Para str :: tl ->
pp_print_para fmt str;
pp_print fmt tl
| Verbatim str :: tl ->
pp_print_verbatim fmt str;
pp_print_newline fmt ();
pp_print fmt tl
| BlankLine :: tl ->
pp_print_newline fmt ();
pp_print fmt tl
| [] ->
()
let to_string t =
let buff = Buffer.create 13 in
let fmt = Format. formatter_of_buffer buff in
pp_print fmt t;
pp_print_flush fmt ();
Buffer.contents buff
let value =
{
parse = (fun ~ctxt:_ s -> of_string s);
update = update_fail;
print = to_string;
}