diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-09-20 15:20:44 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-09-20 15:20:44 +0000 |
| commit | 46013f103cf23d875aa3a2f853080a4fbe23ebd8 (patch) | |
| tree | 83b705e1eb31c2bb1b33e45d1a3c6393ce0a6c7b /src/GF | |
| parent | 5f5d4b2cbe04a3b17ec4bb6c67795f442337c762 (diff) | |
Restored the GFCC.cf from before the patch "simplify GFCC syntax". This is the version that the exisiting code actually uses, except for the two cases of Int instead of Integer.
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Canon/GFCC/GFCC.cf | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/GF/Canon/GFCC/GFCC.cf b/src/GF/Canon/GFCC/GFCC.cf index 5e302e91f..65657a259 100644 --- a/src/GF/Canon/GFCC/GFCC.cf +++ b/src/GF/Canon/GFCC/GFCC.cf @@ -21,19 +21,20 @@ define trA a = Tr a [] ; R. Term ::= "[" [Term] "]" ; -- record/table P. Term ::= "(" Term "!" Term ")" ; -- projection/selection S. Term ::= "(" [Term] ")" ; -- sequence with ++ -KS. Term ::= String ; -- token -KP. Term ::= "[" "pre" [String] "[" [Variant] "]" "]" ; -V. Term ::= "$" Integer ; -- argument -C. Term ::= Integer ; -- parameter value/label +K. Term ::= Tokn ; -- token +V. Term ::= "$" Integer ; -- argument +C. Term ::= Integer ; -- parameter value/label F. Term ::= CId ; -- global constant FV. Term ::= "[|" [Term] "|]" ; -- free variation -W. Term ::= "(" String "+" [String] ")" ; -- prefix + suffix table +W. Term ::= "(" String "+" Term ")" ; -- prefix + suffix table RP. Term ::= "(" Term "@" Term ")"; -- record parameter alias TM. Term ::= "?" ; -- lin of metavariable L. Term ::= "(" CId "->" Term ")" ; -- lambda abstracted table BV. Term ::= "#" CId ; -- lambda-bound variable +KS. Tokn ::= String ; +KP. Tokn ::= "[" "pre" [String] "[" [Variant] "]" "]" ; Var. Variant ::= [String] "/" [String] ; |