diff options
| author | Taylan Kammer <taylan.kammer@gmail.com> | 2026-05-31 17:35:35 +0200 |
|---|---|---|
| committer | Taylan Kammer <taylan.kammer@gmail.com> | 2026-05-31 17:35:35 +0200 |
| commit | a6040abeac8cdcba8a139a9d5b52ce28e94a14ef (patch) | |
| tree | f912bad73ae644b9f3c9042b95e2ea1aea09df7a /docs/c1/grammar/zbnf.txt | |
| parent | a779b91e730ba68c1f38cfdadbcb0fa3de041597 (diff) | |
Allow blanks after hash-bang; update grammar files.
Diffstat (limited to 'docs/c1/grammar/zbnf.txt')
| -rw-r--r-- | docs/c1/grammar/zbnf.txt | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/docs/c1/grammar/zbnf.txt b/docs/c1/grammar/zbnf.txt index 83a2394..0cbceab 100644 --- a/docs/c1/grammar/zbnf.txt +++ b/docs/c1/grammar/zbnf.txt @@ -1,4 +1,4 @@ -# Custom notation with PEG semantics +; Custom notation with PEG semantics Stream : Unit ( Blank Unit )* @@ -21,7 +21,6 @@ SkipLine : ( ~LF )* [LF] OneDatum : BareString | CladDatum - BareString : SpecBareChar ( BareChar | JoinChar )* | BareChar+ @@ -29,7 +28,7 @@ CladDatum : PipeStr | QuoteStr | HashExpr | QuoteExpr | List PipeStr : '|' ( PipeStrChar | '\' StringEsc )* '|' QuoteStr : '"' ( QuotStrChar | '\' StringEsc )* '"' -HashExpr : '#' ( RuneExpr | LabelExpr | HashDatum ) +HashExpr : '#' ( RuneExpr | HashBang | LabelExpr | HashDatum ) QuoteExpr : "'" Datum | '`' Datum | ',' Datum List : ParenList | SquareList | BraceList @@ -51,6 +50,7 @@ HexByte : HEXDIG HEXDIG UnicodeSV : HEXDIG+ RuneExpr : Rune [ '\' BareString | CladDatum ] +HashBang : '!' ( SP | HTAB )* BareString LabelExpr : '%' Label ( '%' | '=' Datum ) HashDatum : '\' BareString | CladDatum @@ -62,3 +62,8 @@ SquareList : '[' ListBody ']' BraceList : '{' ListBody '}' ListBody : Unit* [ Blank* '&' Unit ] Blank* + + +;; Local Variables: +;; eval: (flyspell-mode -1) +;; End: |