EBNF tweak in README for #macro
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Wed, 14 May 2025 15:22:27 +0000 (08:22 -0700)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Wed, 14 May 2025 15:22:27 +0000 (08:22 -0700)
README.md

index 3f9ed9a..ad30d42 100644 (file)
--- a/README.md
+++ b/README.md
@@ -46,6 +46,7 @@ Defines a macro in standard ISO form, using token literal parsing and optional p
 #### Syntax (EBNF):
 
 ```
+
 directive     ::= "#macro" name params body ;
 
 name          ::= identifier ;
@@ -53,15 +54,12 @@ name          ::= identifier ;
 params        ::= "(" param_list? ")" ;
 param_list    ::= identifier ("," identifier)* ;
 
-body          ::= clause ;
-
-clause        ::= "(" literal? ")" 
-                | "[" expr? "]" ;
+body          ::= "(" literal? ")" ;
 
 literal       ::= ; sequence parsed into tokens without expansion
-expr          ::= ; sequence parsed into tokens with recursive expansion
 
 ; whitespace, including newlines, is ignored
+
 ```
 
 - A `literal` clause is delimited with `(` ... `)` and behaves like `#define F(x) (x + 1)`.