summaryrefslogtreecommitdiff
path: root/src/GF/GFCC/GFCC.cf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
commitb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (patch)
tree0992334be13cec6538a1dea22fbbf26ad6bdf224 /src/GF/GFCC/GFCC.cf
parentfe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff)
removed src for 2.9
Diffstat (limited to 'src/GF/GFCC/GFCC.cf')
-rw-r--r--src/GF/GFCC/GFCC.cf81
1 files changed, 0 insertions, 81 deletions
diff --git a/src/GF/GFCC/GFCC.cf b/src/GF/GFCC/GFCC.cf
deleted file mode 100644
index 96d68649b..000000000
--- a/src/GF/GFCC/GFCC.cf
+++ /dev/null
@@ -1,81 +0,0 @@
-Grm. Grammar ::=
- "grammar" CId "(" [CId] ")" "(" [Flag] ")" ";"
- Abstract ";"
- [Concrete] ;
-
-Abs. Abstract ::=
- "abstract" "{"
- "flags" [Flag]
- "fun" [FunDef]
- "cat" [CatDef]
- "}" ;
-
-Cnc. Concrete ::=
- "concrete" CId "{"
- "flags" [Flag]
- "lin" [LinDef]
- "oper" [LinDef]
- "lincat" [LinDef]
- "lindef" [LinDef]
- "printname" [LinDef]
- "param" [LinDef] -- lincats with param value names
- "}" ;
-
-Flg. Flag ::= CId "=" String ;
-Cat. CatDef ::= CId "[" [Hypo] "]" ;
-
-Fun. FunDef ::= CId ":" Type "=" Exp ;
-Lin. LinDef ::= CId "=" Term ;
-
-DTyp. Type ::= "[" [Hypo] "]" CId [Exp] ; -- dependent type
-DTr. Exp ::= "[" "(" [CId] ")" Atom [Exp] "]" ; -- term with bindings
-
-AC. Atom ::= CId ;
-AS. Atom ::= String ;
-AI. Atom ::= Integer ;
-AF. Atom ::= Double ;
-AM. Atom ::= "?" Integer ;
-
-R. Term ::= "[" [Term] "]" ; -- record/table
-P. Term ::= "(" Term "!" Term ")" ; -- projection/selection
-S. Term ::= "(" [Term] ")" ; -- concatenated sequence
-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 "+" Term ")" ; -- prefix + suffix table
-TM. Term ::= "?" ; -- lin of metavariable
-
-KS. Tokn ::= String ;
-KP. Tokn ::= "[" "pre" [String] "[" [Variant] "]" "]" ;
-Var. Variant ::= [String] "/" [String] ;
-
-
-RP. Term ::= "(" Term "@" Term ")"; -- DEPRECATED: record parameter alias
-
-terminator Concrete ";" ;
-terminator Flag ";" ;
-terminator CatDef ";" ;
-terminator FunDef ";" ;
-terminator LinDef ";" ;
-separator CId "," ;
-separator Term "," ;
-terminator Exp "" ;
-terminator String "" ;
-separator Variant "," ;
-
-token CId (('_' | letter) (letter | digit | '\'' | '_')*) ;
-
-
--- the following are needed if dependent types or HOAS or defs are present
-
-Hyp. Hypo ::= CId ":" Type ;
-AV. Atom ::= "$" CId ;
-
-EEq. Exp ::= "{" [Equation] "}" ; -- list of pattern eqs; primitive: []
-Equ. Equation ::= [Exp] "->" Exp ; -- patterns are encoded as exps
-
-separator Hypo "," ;
-terminator Equation ";" ;
-