CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Formatting

Browse Source
This commit is contained in:
Denis Merigoux 2023-04-06 16:35:28 +02:00
parent f16842b71a
commit 77d6a97ddc
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/shared_ast/interpreter.ml
View File

@ -45,8 +45,10 @@ let propagate_empty_error_list elist f =
let log_indent = ref 0
(* TODO: we should provide a generic way to print logs, that work across the
different backends: python, ocaml, javascript, and interpreter *)
(** {1 Evaluation} *)
(* TODO: we should provide a generic way to print logs, that work across the different backends: python, ocaml, javascript, and interpreter *)
let print_log ctx entry infos pos e =
if !Cli.trace_flag then
match entry with