diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-10-07 15:56:54 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-10-07 15:56:54 +0000 |
| commit | 5028ea9d9b6d3d10eb74ffa10730d4f405bbadf5 (patch) | |
| tree | 363ea9b98cf95b5d0f7c7f6281e89270174217a7 /src/GF/Canon/GFCC/GFCC.cf | |
| parent | f9cc79eba6f12a5306987478ec99c4d1dae72863 (diff) | |
printing of GFCC
Diffstat (limited to 'src/GF/Canon/GFCC/GFCC.cf')
| -rw-r--r-- | src/GF/Canon/GFCC/GFCC.cf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Canon/GFCC/GFCC.cf b/src/GF/Canon/GFCC/GFCC.cf index b57c4f636..f22d6165c 100644 --- a/src/GF/Canon/GFCC/GFCC.cf +++ b/src/GF/Canon/GFCC/GFCC.cf @@ -4,9 +4,9 @@ Abs. Abstract ::= "abstract" "{" [AbsDef] "}" ; Cnc. Concrete ::= "concrete" CId "{" [CncDef] "}" ; Fun. AbsDef ::= CId ":" Type "=" Exp ; -AFl. AbsDef ::= "%" CId "=" String ; -- flag +--AFl. AbsDef ::= "%" CId "=" String ; -- flag Lin. CncDef ::= CId "=" Term ; -CFl. CncDef ::= "%" CId "=" String ; -- flag +--CFl. CncDef ::= "%" CId "=" String ; -- flag Typ. Type ::= [CId] "->" CId ; Tr. Exp ::= "(" Atom [Exp] ")" ; |