From b10fab6bfb1739a3308fd60bedb0d0725da69dd4 Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 21 Dec 2007 17:18:36 +0000 Subject: [PATCH] gfcc files now start with (grammar absname cncname1 ... cncnameN). --- src/GF/GFCC/Raw/ConvertGFCC.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/GF/GFCC/Raw/ConvertGFCC.hs b/src/GF/GFCC/Raw/ConvertGFCC.hs index 3bfed9c83..b5bf47e1b 100644 --- a/src/GF/GFCC/Raw/ConvertGFCC.hs +++ b/src/GF/GFCC/Raw/ConvertGFCC.hs @@ -9,8 +9,7 @@ import Data.Map toGFCC :: Grammar -> GFCC toGFCC (Grm [ - AId a, - App (CId "concrete") cs, + App (CId "grammar") (AId a:cs), App (CId "flags") gfs, ab@( App (CId "abstract") [ @@ -102,8 +101,7 @@ toTerm e = case e of fromGFCC :: GFCC -> Grammar fromGFCC gfcc0 = Grm [ - AId (absname gfcc), - app "concrete" (lmap AId (cncnames gfcc)), + app "grammar" (AId (absname gfcc) : lmap AId (cncnames gfcc)), app "flags" [App f [AStr v] | (f,v) <- toList (gflags gfcc)], app "abstract" [ app "flags" [App f [AStr v] | (f,v) <- toList (aflags agfcc)],