From 945a49214bd49fb082e8f613fc68d192a1b38743 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 5 Oct 2007 09:02:47 +0000 Subject: cleaned up new GFCC, but added RP as deprecated --- src/GF/GFCC/Macros.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/GF/GFCC/Macros.hs') diff --git a/src/GF/GFCC/Macros.hs b/src/GF/GFCC/Macros.hs index a23c4c021..2fe6770f1 100644 --- a/src/GF/GFCC/Macros.hs +++ b/src/GF/GFCC/Macros.hs @@ -53,7 +53,10 @@ wildCId :: CId wildCId = CId "_" exp0 :: Exp -exp0 = Tr (AM 0) [] +exp0 = tree (AM 0) [] + +primNotion :: Exp +primNotion = EEq [] term0 :: CId -> Term term0 _ = TM -- cgit v1.2.3