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

Bug fix: the environment has to be threaded through #include

Browse Source
This commit is contained in:
Christian Rinderknecht 2020-04-16 16:56:11 +02:00
parent 8848226b85
commit f27bbb317e
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
vendors/Preprocessor/Preproc.mll vendored
View File

@ -506,13 +506,11 @@ rule scan state = parse
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 env=Env.empty; mode=Copy; trace=[]} in
let state' = {state with mode=Copy; trace=[]} in
let state' = scan (push_dir incl_dir state') incl_buf in
let state = {state with incl = state'.incl} in
let path =
if path = "" then base
else path ^ Filename.dir_sep ^ base in
let state = {state with env=state'.env; incl=state'.incl} in
let path = if path = "" then base
else path ^ Filename.dir_sep ^ base in
print state (sprintf "\n# %i \"%s\" 2" (line+1) path);
scan state lexbuf
| "if" ->