From a6040abeac8cdcba8a139a9d5b52ce28e94a14ef Mon Sep 17 00:00:00 2001 From: Taylan Kammer Date: Sun, 31 May 2026 17:35:35 +0200 Subject: Allow blanks after hash-bang; update grammar files. --- docs/c1/grammar/zbnf.txt | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'docs/c1/grammar/zbnf.txt') 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: -- cgit v1.2.3