CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

indicate what interpreter is launched in debug mode.

Browse Source
This commit is contained in:
adelaett 2023-04-11 16:15:24 +02:00
parent 1a46cd8914
commit 83553d5950
No known key found for this signature in database
GPG Key ID: 367A8C08F513BD65
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/driver.ml
View File

@ -289,7 +289,7 @@ let driver source_file (options : Cli.options) : int =
if result then Cli.debug_format "Finished checking invariants"
else raise (Errors.raise_error "Invariant invalid")
| `Interpret ->
Cli.debug_print "Starting interpretation...";
Cli.debug_print "Starting interpretation (dcalc)...";
let results =
Shared_ast.Interpreter.interpret_program_dcalc prgm scope_uid
in
@ -364,7 +364,7 @@ let driver source_file (options : Cli.options) : int =
(Shared_ast.Print.program ~debug:options.debug)
prgm
| `Interpret_Lcalc ->
Cli.debug_print "Starting interpretation...";
Cli.debug_print "Starting interpretation (lcalc)...";
let results =
Shared_ast.Interpreter.interpret_program_lcalc prgm scope_uid
in