CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

More comments

Browse Source
This commit is contained in:
Denis Merigoux 2022-04-04 18:12:19 +02:00
parent cbd975d53a
commit 48b324c165
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/scalc/compile_from_lambda.ml
View File

@ -97,7 +97,9 @@ let rec translate_expr (ctxt : ctxt) (expr : L.expr Pos.marked) :
| _ ->
let tmp_var =
A.LocalName.fresh
( (*This piece of logic is used to make the code more readable *)
( (*This piece of logic is used to make the code more readable. TODO:
should be removed when
https://github.com/CatalaLang/catala/issues/240 is fixed. *)
(match ctxt.inside_definition_of with
| None -> ctxt.context_name
| Some v ->

3
compiler/scalc/to_python.ml
View File

@ -197,7 +197,8 @@ module IntMap = Map.Make (Int)
(** For each `LocalName.t` defined by its string and then by its hash, we keep
track of which local integer id we've given it. This is used to keep
variable naming with low indices rather than one global counter for all
variables. *)
variables. TODO: should be removed when
https://github.com/CatalaLang/catala/issues/240 is fixed. *)
let string_counter_map : int IntMap.t StringMap.t ref = ref StringMap.empty
let format_var (fmt : Format.formatter) (v : LocalName.t) : unit =