Incorrect handling may result in two suffix operators in a row
Closed this issue · 0 comments
siefkenj commented
The following rule pretty-prints incorrectly
inner_name "name" = $($[a-z]+ $("_" [0-9]+)? $([₀₁₂₃₄₅₆₇₈₉]+)?)
Closed this issue · 0 comments
The following rule pretty-prints incorrectly
inner_name "name" = $($[a-z]+ $("_" [0-9]+)? $([₀₁₂₃₄₅₆₇₈₉]+)?)