diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 13:53:00 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 14:05:03 +0200 |
| commit | b1ebaac5c08407ddd680041cae918b9341fea5be (patch) | |
| tree | c586914a3799869afbde8cee60ed07736366a3bb /def__.py | |
| parent | 90d5b0125fb943eea852ab14ed7a8243c86d7d21 (diff) | |
fix replace Optional(...) with Choice(0, ... , Skip())
Diffstat (limited to 'def__.py')
| -rwxr-xr-x | def__.py | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -13,11 +13,11 @@ Diagram( OneOrMore(NonTerminal("SPACE")), ), Sequence( - Optional(NonTerminal("SPACE")), + Choice(0, (NonTerminal("SPACE")), Skip()), NonTerminal("NEWLINE"), - Optional(NonTerminal("SPACE")), - Optional(NonTerminal("SPACE")), - Optional(NonTerminal("SPACE")) + Choice(0, (NonTerminal("SPACE")), Skip()), + Choice(0, (NonTerminal("SPACE")), Skip()), + Choice(0, (NonTerminal("SPACE")), Skip()) ) ), End("complex") |
