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_List.py | |
| parent | 90d5b0125fb943eea852ab14ed7a8243c86d7d21 (diff) | |
fix replace Optional(...) with Choice(0, ... , Skip())
Diffstat (limited to 'def_List.py')
| -rwxr-xr-x | def_List.py | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/def_List.py b/def_List.py index 43503e7..dc887b2 100755 --- a/def_List.py +++ b/def_List.py @@ -15,12 +15,15 @@ Diagram( "[).]", ) ), - Optional( - NonTerminal("_"), - Choice(0, - NonTerminal("List"), - NonTerminal("Words") - ) + Choice(0, + Sequence( + NonTerminal("_"), + Choice(0, + NonTerminal("List"), + NonTerminal("Words") + ) + ), + Skip() ), NonTerminal("NEWLINE"), End("complex") |