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

The directive #include is now recursive.

Browse Source
This commit is contained in:
Christian Rinderknecht 2020-03-26 19:32:48 +01:00
parent 9e84d29326
commit b5a3fb9367
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
vendors/Preproc/Preproc.mll vendored
View File

@ -465,8 +465,16 @@ rule scan state = parse
match find dir incl_file state.opt#libs with match find dir incl_file state.opt#libs with
Some channel -> channel Some channel -> channel
| None -> stop (File_not_found incl_file) state reg in | None -> stop (File_not_found incl_file) state reg in
let incl_buf = Lexing.from_channel incl_chan in
let () =
let open Lexing in
incl_buf.lex_curr_p <-
{incl_buf.lex_curr_p with pos_fname = incl_file} in
let state = {state with incl = incl_chan::state.incl} in let state = {state with incl = incl_chan::state.incl} in
cat state (Lexing.from_channel incl_chan); (* TODO *) let state' =
{state with env=Env.empty; mode=Copy; trace=[]} in
let state' = scan state' incl_buf in
let state = {state with incl = state'.incl} in
print state (sprintf "# %i \"%s\" 2" (line+1) base); print state (sprintf "# %i \"%s\" 2" (line+1) base);
scan state lexbuf scan state lexbuf
| "if" -> | "if" ->