From e926d20eb6e0ae0073a2cb834d28c8545cd9922f Mon Sep 17 00:00:00 2001 From: Marc Pouzet Date: Fri, 1 Nov 2024 10:15:19 +0100 Subject: [PATCH] Update --- src/compiler/common/aux.ml | 4 +++- src/dune | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/src/compiler/common/aux.ml b/src/compiler/common/aux.ml index f427c041..84dfc997 100644 --- a/src/compiler/common/aux.ml +++ b/src/compiler/common/aux.ml @@ -174,7 +174,9 @@ let rec eq_let_list leq_list eq = and eq_let leq eq = eqmake eq.eq_write (EQlet(leq, eq)) - + +let e_let leq e = emake (Elet(leq, e)) + let pat_of_vardec_make { var_name } = pat_make var_name let pat_of_vardec_list_make vardec_list = diff --git a/src/dune b/src/dune index 6bd7252e..bf18fb89 100644 --- a/src/dune +++ b/src/dune @@ -163,6 +163,7 @@ ; all variables in patterns must be value (remove last) automata ; rewrite automata into match/reset present ; rewrite present into match + exp2eq ; translate match and reset expressions into their equational form pre ; rewrite fby/fby into (init/last) period ; translate periods into horizons encore ; add horizons [horizon h = 0.0] for zero-crossings