fix invoke-with parsing

calyxir · Oct 6, 2021 · 1cb6c29 · 1cb6c29
1 parent cbabb80
commit 1cb6c29
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/calyx/src/frontend/syntax.pest b/calyx/src/frontend/syntax.pest
@@ -226,7 +226,7 @@ enable = { at_attributes ~ identifier ~ ";" }
 
 invoke_arg = { identifier ~ "=" ~ (port | num_lit) }
 invoke_args = { (invoke_arg ~ ("," ~ invoke_arg)*)? }
-invoke = { at_attributes ~ "invoke" ~ identifier ~ "(" ~ invoke_args ~ ")" ~ "(" ~ invoke_args ~ ")" ~ ("with" ~ identifier) ~ ";" }
+invoke = { at_attributes ~ "invoke" ~ identifier ~ "(" ~ invoke_args ~ ")" ~ "(" ~ invoke_args ~ ")" ~ ("with" ~ identifier)? ~ ";" }
 
 seq = {
       at_attributes ~ "seq" ~ "{"

diff --git a/calyx/src/ir/printer.rs b/calyx/src/ir/printer.rs
@@ -361,9 +361,9 @@ impl IRPrinter {
                     write!(f, "\n{})", " ".repeat(indent_level))?;
                 }
                 if let Some(group) = comb_group {
-                    writeln!(f, "with {}", group.borrow().name)
+                    writeln!(f, "with {};", group.borrow().name)
                 } else {
-                    writeln!(f)
+                    writeln!(f, ";")
                 }
             }
             ir::Control::Seq(ir::Seq { stmts, attributes }) => {