From ba950aab14782e95b41f378df4de014b38347665 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 13 Sep 2006 16:49:23 +0000 Subject: lambda in GFCC --- src/GF/Canon/GFCC/GFCC.cf | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/GF/Canon/GFCC/GFCC.cf') diff --git a/src/GF/Canon/GFCC/GFCC.cf b/src/GF/Canon/GFCC/GFCC.cf index eb3bff56c..b7298cdd9 100644 --- a/src/GF/Canon/GFCC/GFCC.cf +++ b/src/GF/Canon/GFCC/GFCC.cf @@ -14,6 +14,8 @@ Tr. Exp ::= "(" Atom [Exp] ")" ; AC. Atom ::= CId ; AS. Atom ::= String ; AI. Atom ::= Integer ; +trA. Exp ::= Atom ; +define trA a = Tr a [] ; R. Term ::= "[" [Term] "]" ; -- record/table P. Term ::= Term "[" Term "]" ; -- projection/selection @@ -22,6 +24,8 @@ K. Term ::= Tokn ; -- token V. Term ::= "$" Integer ; -- argument C. Term ::= Integer ; -- parameter value/label F. Term ::= CId ; -- global constant +L. Term ::= "$" CId ; -- local (bound) variable +A. Term ::= "(" CId "->" Term ")" ; -- lambda abstraction (compressed table) FV. Term ::= "[|" [Term] "|]" ; -- free variation W. Term ::= "(" String "+" Term ")" ; -- prefix + suffix table -- cgit v1.2.3