From 6f223d251918338fd94df3bc93bbf607b68f60d3 Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Mon, 11 Apr 2022 10:59:02 +0200 Subject: [PATCH] Restore web build --- Makefile | 2 +- compiler/catala_web_interpreter.ml | 1 + compiler/dcalc/ast.ml | 2 -- 3 files changed, 2 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 58ca1393..b3856eb0 100644 --- a/Makefile +++ b/Makefile @@ -298,7 +298,7 @@ website-assets: doc literate_examples grammar.html catala.html build_french_law_ #> all : Run all make commands all: \ - build doc website-assets\ + build build_js doc website-assets\ tests \ generate_french_law_library_ocaml build_french_law_library_ocaml \ tests_ocaml bench_ocaml \ diff --git a/compiler/catala_web_interpreter.ml b/compiler/catala_web_interpreter.ml index 6f1ea48d..3b8d660f 100644 --- a/compiler/catala_web_interpreter.ml +++ b/compiler/catala_web_interpreter.ml @@ -19,6 +19,7 @@ let _ = backend = "Interpret"; language = Some (Js.to_string language); max_prec_digits = None; + closure_conversion = false; trace; disable_counterexamples = false; optimize = false; diff --git a/compiler/dcalc/ast.ml b/compiler/dcalc/ast.ml index de6d77eb..240512c4 100644 --- a/compiler/dcalc/ast.ml +++ b/compiler/dcalc/ast.ml @@ -430,8 +430,6 @@ let rec unfold_scope_body_expr (ctx : decl_ctx) (scope_let : scope_body_expr) : let build_whole_scope_expr (ctx : decl_ctx) (body : scope_body) (pos_scope : Pos.t) = let var, body_expr = Bindlib.unbind body.scope_body_expr in - Cli.debug_format "Getting variable %s_%d" (Bindlib.name_of var) - (Bindlib.uid_of var); let body_expr = unfold_scope_body_expr ctx body_expr in make_abs (Array.of_list [ var ])