msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

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.

Browse Source
This commit is contained in:
bringert
2007-09-20 15:20:44 +00:00
parent 10c2ef30dc
commit 60359485cc
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/GF/Canon/GFCC/GFCC.cf
View File

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