GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge abstract and global flags and put them at the top level in GFCC files.

Browse Source
This commit is contained in:
bringert
2007-12-21 17:25:35 +00:00
parent 24c456cadf
commit 093633a216
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/GF/GFCC/Raw/ConvertGFCC.hs
View File

@@ -13,7 +13,6 @@ toGFCC (Grm [
App (CId "flags") gfs, App (CId "flags") gfs,
ab@( ab@(
App (CId "abstract") [ App (CId "abstract") [
App (CId "flags") afls,
App (CId "fun") fs, App (CId "fun") fs,
App (CId "cat") cts App (CId "cat") cts
]), ]),
@@ -24,7 +23,7 @@ toGFCC (Grm [
gflags = fromAscList [(f,v) | App f [AStr v] <- gfs], gflags = fromAscList [(f,v) | App f [AStr v] <- gfs],
abstract = abstract =
let let
aflags = fromAscList [(f,v) | App f [AStr v] <- afls] aflags = fromAscList [(f,v) | App f [AStr v] <- gfs]
lfuns = [(f,(toType typ,toExp def)) | App f [typ, def] <- fs] lfuns = [(f,(toType typ,toExp def)) | App f [typ, def] <- fs]
funs = fromAscList lfuns funs = fromAscList lfuns
lcats = [(c, Prelude.map toHypo hyps) | App c hyps <- cts] lcats = [(c, Prelude.map toHypo hyps) | App c hyps <- cts]
@@ -102,9 +101,8 @@ toTerm e = case e of
fromGFCC :: GFCC -> Grammar fromGFCC :: GFCC -> Grammar
fromGFCC gfcc0 = Grm [ fromGFCC gfcc0 = Grm [
app "grammar" (AId (absname gfcc) : 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 "flags" [App f [AStr v] | (f,v) <- toList (gflags gfcc `union` aflags agfcc)],
app "abstract" [ app "abstract" [
app "flags" [App f [AStr v] | (f,v) <- toList (aflags agfcc)],
app "fun" [App f [fromType t,fromExp d] | (f,(t,d)) <- toList (funs agfcc)], app "fun" [App f [fromType t,fromExp d] | (f,(t,d)) <- toList (funs agfcc)],
app "cat" [App f (lmap fromHypo hs) | (f,hs) <- toList (cats agfcc)] app "cat" [App f (lmap fromHypo hs) | (f,hs) <- toList (cats agfcc)]
], ],