balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added to the scanning of verbatim strings: new line and preprocessor

Browse Source 
line directive.
This commit is contained in:
Christian Rinderknecht 2020-07-04 14:38:47 +02:00
parent c489989cd3
commit ca50603a7c
1 changed files with 16 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/passes/01-parsing/shared/Lexer.mll
View File

@ -516,9 +516,20 @@ and scan_string thread state = parse
scan_string (thread#push_char c) state lexbuf }
and scan_verbatim thread state = parse
| eof { fail thread#opening Unterminated_verbatim}
| "|}" { let _, _, state = state#sync lexbuf
in thread, state }
nl as nl { let () = Lexing.new_line lexbuf
and state = state#set_pos (state#pos#new_line nl)
in scan_verbatim (thread#push_string nl) state lexbuf }
| '#' blank* (natural as line) blank+ '"' (string as file) '"' {
let _, _, state = state#sync lexbuf in
let flags, state = scan_flags state [] lexbuf in
let () = ignore flags in
let line = int_of_string line
and file = Filename.basename file in
let pos = state#pos#set ~file ~line ~offset:0 in
let state = state#set_pos pos in
scan_verbatim thread state lexbuf }
| eof { fail thread#opening Unterminated_verbatim }
| "|}" { let _, _, state = state#sync lexbuf in thread, state }
| _ as c { let _, _, state = state#sync lexbuf in
scan_verbatim (thread#push_char c) state lexbuf }