diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/GFCC/doc/syntax.txt | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/GF/GFCC/doc/syntax.txt b/src/GF/GFCC/doc/syntax.txt index 6bb3b8d97..db8f7c149 100644 --- a/src/GF/GFCC/doc/syntax.txt +++ b/src/GF/GFCC/doc/syntax.txt @@ -29,14 +29,12 @@ Here is a summary of well-formed syntax, with a comment on the semantics of each construction. ``` Grammar ::= - CId -- abstract syntax names - "(" "concrete" CId* ")" -- concrete syntax names - "(" "flags" Flag* ")" -- global flags + ("grammar" CId CId*) -- abstract syntax name and concrete syntax names + "(" "flags" Flag* ")" -- global and abstract flags "(" "abstract" Abstract ")" -- abstract syntax "(" "concrete" Concrete* ")" -- concrete syntaxes Abstract ::= - "(" "flags" Flag* ")" -- abstract flags "(" "fun" FunDef* ")" -- function definitions "(" "cat" CatDef* ")" -- category definitions |