diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-12-21 17:18:36 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-12-21 17:18:36 +0000 |
| commit | 645a7db1e28435ae024f0766e6b1b9215c00a7d2 (patch) | |
| tree | 7ca7357514344c7ce116706227c1da15df52729f /src/GF/GFCC | |
| parent | 504e7162fc9457c60dd39095c4563446b97fa953 (diff) | |
gfcc files now start with (grammar absname cncname1 ... cncnameN).
Diffstat (limited to 'src/GF/GFCC')
| -rw-r--r-- | src/GF/GFCC/Raw/ConvertGFCC.hs | 6 |
1 files 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)], |