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

Preprocessed file has now extension .pp.ligo.

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-04-01 21:01:45 +02:00
parent 99defca21a
commit 5829982c65
No known key found for this signature in database
GPG Key ID: 9446816CFD267040
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ligo/ligo-parser/LexerMain.ml
View File

@ -24,7 +24,7 @@ let prefix =
None | Some "-" -> "temp" None | Some "-" -> "temp"
| Some file -> Filename.(file |> basename |> remove_extension) | Some file -> Filename.(file |> basename |> remove_extension)
let suffix = ".pp.li" let suffix = ".pp.ligo"
let pp_input = let pp_input =
if Utils.String.Set.mem "cpp" EvalOpt.verbose if Utils.String.Set.mem "cpp" EvalOpt.verbose

2
src/ligo/ligo-parser/ParserMain.ml
View File

@ -40,7 +40,7 @@ let prefix =
None | Some "-" -> "temp" None | Some "-" -> "temp"
| Some file -> Filename.(file |> basename |> remove_extension) | Some file -> Filename.(file |> basename |> remove_extension)
let suffix = ".pp.li" let suffix = ".pp.ligo"
let pp_input = let pp_input =
if Utils.String.Set.mem "cpp" EvalOpt.verbose if Utils.String.Set.mem "cpp" EvalOpt.verbose