Update

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

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/compiler/main/zeluc.ml b/src/compiler/main/zeluc.ml
@@ -82,6 +82,7 @@ and doc_set_steps = "\t Option to control source-to-source rewriting steps\n\
     \t\t lastinpatterns: add copies for lasts that are inputs or outputs \n\
     \t\t auto: remove automata statements \n\
     \t\t present: remove present statements \n\
+    \t\t exp2eq: remove pattern matching and resets on expressions \n\
     \t\t pre: remove pre/fby \n\
     \t\t reset: normalise resets; remove initialization (->) \n\
     \t\t complete: complete branches \n\

diff --git a/src/compiler/rewrite/rewrite.ml b/src/compiler/rewrite/rewrite.ml
@@ -83,7 +83,7 @@ let set_steps w =
       | "lastinpatterns" | "copylast"
     | "auto" | "present"
     | "pre" | "reset" | "complete" | "shared" | "encore" | "letin" 
-    | "schedule" | "aform" | "deadcode" | "copy" ->
+    | "schedule" | "aform" | "deadcode" | "copy" | "exp2seq" ->
        s_set := if p then S.add s !s_set else S.remove s !s_set
     | "" -> ()
     | _ -> raise (Arg.Bad ("unknown pass " ^ s)) in