diff options
Diffstat (limited to 'config.ebnf')
| -rw-r--r-- | config.ebnf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config.ebnf b/config.ebnf index 965c5c7..51c1db7 100644 --- a/config.ebnf +++ b/config.ebnf @@ -18,7 +18,9 @@ Boolean = boolean . String = str . # Primitives -word = `[a-zA-Z_][a-zA-Z0-9_]*` . +word = (alpha | spec) {alpha | number | spec} . +alpha = `[a-zA-Z]` . +spec = `\$|_` . number = `-?[0-9]+(\.[0-9]+)?` . boolean = `true|false` . str = `"[^"]*"` | `'[^']*'` | '`' { `[^\x60]` } '`' . |