diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 15:28:41 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 15:28:41 +0200 |
| commit | 8fe2090f505d76760cc3b4ad482b5614c058a51b (patch) | |
| tree | 9c05119ffe2d86881d6b0c7a6048c21070e9fda3 /def__.py | |
| parent | be2cd3566db38253447d631aaeac0defffcd81a6 (diff) | |
deprioritize whitespace
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( - Choice(0, (NonTerminal("SPACE")), Skip()), + Optional(NonTerminal("SPACE"), True), NonTerminal("NEWLINE"), - Choice(0, (NonTerminal("SPACE")), Skip()), - Choice(0, (NonTerminal("SPACE")), Skip()), - Choice(0, (NonTerminal("SPACE")), Skip()) + Optional(NonTerminal("SPACE"), True), + Optional(NonTerminal("SPACE"), True), + Optional(NonTerminal("SPACE"), True) ) ), End("complex") |
