From b39ecf4c324b674918813099711aaf437d7db1df Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 29 Sep 2006 10:55:36 +0000 Subject: new constructs in gfcc, removed lambda --- src/GF/Canon/GFCC/AbsGFCC.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/GF/Canon/GFCC/AbsGFCC.hs') diff --git a/src/GF/Canon/GFCC/AbsGFCC.hs b/src/GF/Canon/GFCC/AbsGFCC.hs index 0617c921b..986bbaee6 100644 --- a/src/GF/Canon/GFCC/AbsGFCC.hs +++ b/src/GF/Canon/GFCC/AbsGFCC.hs @@ -21,10 +21,12 @@ data Concrete = data AbsDef = Fun CId Type Exp + | AFl CId String deriving (Eq,Ord,Show) data CncDef = Lin CId Term + | CFl CId String deriving (Eq,Ord,Show) data Type = @@ -39,6 +41,8 @@ data Atom = AC CId | AS String | AI Integer + | AF Double + | AM deriving (Eq,Ord,Show) data Term = @@ -49,10 +53,9 @@ data Term = | V Integer | C Integer | F CId - | L CId - | A CId Term | FV [Term] | W String Term + | RP Term Term deriving (Eq,Ord,Show) data Tokn = -- cgit v1.2.3