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

typo

Browse Source
This commit is contained in:
adelaett 2023-04-06 13:42:40 +02:00
parent 82992e9858
commit 7ebfb2e66a
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/lcalc/compile_without_exceptions.ml
View File

@ -185,13 +185,6 @@ let rec translate_typ (tau : typ) : typ =
let translate_typ (tau : typ) : typ =
Marked.same_mark_as (TOption (translate_typ tau)) tau
let trans_var ctx (x : 'm D.expr Var.t) : 'm Ast.expr Var.t =
let new_ = (Var.Map.find x ctx).var in
(* Cli.debug_format "before: %a after: %a" Print.var_debug x Print.var_debug
new_; *)
new_
let trans_op : dcalc Op.t -> lcalc Op.t = Operator.translate
(** The function [e' = trans ctx e] actually do the translation between dexpr
@ -212,6 +205,13 @@ type 'a info_pure = {
var : 'a Ast.expr Var.t;
}
let trans_var ctx (x : 'm D.expr Var.t) : 'm Ast.expr Var.t =
let new_ = (Var.Map.find x ctx).var in
(* Cli.debug_format "before: %a after: %a" Print.var_debug x Print.var_debug
new_; *)
new_
let rec trans ctx (e : 'm D.expr) : (lcalc, 'm mark) boxed_gexpr =
let m = Marked.get_mark e in
let mark = m in