Skip to content

Commit 9681e65

Browse files
EmileTrotignonjonludlam
authored andcommitted
Little function adding lexbuf lexeme to a buffer
1 parent a18ebd5 commit 9681e65

File tree

1 file changed

+11
-8
lines changed

1 file changed

+11
-8
lines changed

src/lexer.mll

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -244,6 +244,9 @@ let heading_level input level =
244244
end;
245245
int_of_string level
246246

247+
let buffer_add_lexeme buffer lexbuf =
248+
Buffer.add_string buffer (Lexing.lexeme lexbuf)
249+
247250
}
248251

249252
let markup_char =
@@ -279,24 +282,24 @@ let delim_char =
279282
rule reference_paren_content input start depth_paren depth_curly buffer = parse
280283
| '('
281284
{
282-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
285+
buffer_add_lexeme buffer lexbuf ;
283286
reference_paren_content input start (depth_paren + 1) depth_curly buffer
284287
lexbuf }
285288
| '{'
286289
{
287-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
290+
buffer_add_lexeme buffer lexbuf ;
288291
reference_paren_content input start depth_paren (depth_curly + 1) buffer
289292
lexbuf }
290293
| ')'
291294
{
292-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
295+
buffer_add_lexeme buffer lexbuf ;
293296
if depth_paren = 0 then ()
294297
else
295298
( reference_paren_content input start (depth_paren - 1) depth_curly
296299
buffer lexbuf ) }
297300
| '}'
298301
{
299-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
302+
buffer_add_lexeme buffer lexbuf ;
300303
if depth_curly = 0 then
301304
warning
302305
input
@@ -319,7 +322,7 @@ rule reference_paren_content input start depth_paren depth_curly buffer = parse
319322
}
320323
| _
321324
{
322-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
325+
buffer_add_lexeme buffer lexbuf ;
323326
reference_paren_content input start depth_paren depth_curly buffer lexbuf }
324327

325328
and reference_content input start buffer = parse
@@ -329,13 +332,13 @@ and reference_content input start buffer = parse
329332
}
330333
| '('
331334
{
332-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
335+
buffer_add_lexeme buffer lexbuf ;
333336
((reference_paren_content input start 0 0 buffer lexbuf)) ;
334337
reference_content input start buffer lexbuf
335338
}
336339
| '"' [^ '"']* '"'
337340
{
338-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
341+
buffer_add_lexeme buffer lexbuf ;
339342
reference_content input start buffer lexbuf
340343
}
341344
| eof
@@ -348,7 +351,7 @@ and reference_content input start buffer = parse
348351
Buffer.contents buffer }
349352
| _
350353
{
351-
Buffer.add_string buffer (Lexing.lexeme lexbuf) ;
354+
buffer_add_lexeme buffer lexbuf ;
352355
reference_content input start buffer lexbuf }
353356

354357
and token input = parse

0 commit comments

Comments
 (0)