mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-05-22 09:49:26 +00:00
allow empty stack replacement
This commit is contained in:
parent
692575a24b
commit
652b2bedad
@ -26,7 +26,7 @@ stack = { ^"%stack" ~ stack_placeholders ~ "->" ~ stack_replacements }
|
|||||||
stack_placeholders = { "(" ~ (stack_placeholder ~ ("," ~ stack_placeholder)*)? ~ ")" }
|
stack_placeholders = { "(" ~ (stack_placeholder ~ ("," ~ stack_placeholder)*)? ~ ")" }
|
||||||
stack_placeholder = { stack_block | identifier }
|
stack_placeholder = { stack_block | identifier }
|
||||||
stack_block = { identifier ~ ":" ~ literal_decimal }
|
stack_block = { identifier ~ ":" ~ literal_decimal }
|
||||||
stack_replacements = { "(" ~ stack_replacement ~ ("," ~ stack_replacement)* ~ ")" }
|
stack_replacements = { "(" ~ (stack_replacement ~ ("," ~ stack_replacement)*)? ~ ")" }
|
||||||
stack_replacement = { literal | identifier | constant | macro_label | variable }
|
stack_replacement = { literal | identifier | constant | macro_label | variable }
|
||||||
|
|
||||||
global_label_decl = ${ ^"GLOBAL " ~ identifier ~ ":" }
|
global_label_decl = ${ ^"GLOBAL " ~ identifier ~ ":" }
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user