Update

INRIA · Nov 1, 2024 · e926d20 · e926d20
1 parent 1b9cf91
commit e926d20
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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