GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

update syntax.txt with the flags and grammar name changes

Browse Source
This commit is contained in:
bringert
2007-12-21 17:26:41 +00:00
parent 6296609baf
commit 8b1b228ce7
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/GF/GFCC/doc/syntax.txt
View File

@@ -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