diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-12-21 17:26:41 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-12-21 17:26:41 +0000 |
| commit | 6eb575d55cf11ab7b28bfd8b0b5a18bfd3f5fc68 (patch) | |
| tree | 2dea53acac3d67e2fed839f4bb94ff8650747572 /src/GF | |
| parent | 093633a216537b6c68632af1e1d0bd6d7af6efb1 (diff) | |
update syntax.txt with the flags and grammar name changes
Diffstat (limited to 'src/GF')
| -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 |