forked from GitHub/gf-core
gfcc files now start with (grammar absname cncname1 ... cncnameN).
This commit is contained in:
@@ -9,8 +9,7 @@ import Data.Map
|
|||||||
|
|
||||||
toGFCC :: Grammar -> GFCC
|
toGFCC :: Grammar -> GFCC
|
||||||
toGFCC (Grm [
|
toGFCC (Grm [
|
||||||
AId a,
|
App (CId "grammar") (AId a:cs),
|
||||||
App (CId "concrete") cs,
|
|
||||||
App (CId "flags") gfs,
|
App (CId "flags") gfs,
|
||||||
ab@(
|
ab@(
|
||||||
App (CId "abstract") [
|
App (CId "abstract") [
|
||||||
@@ -102,8 +101,7 @@ toTerm e = case e of
|
|||||||
|
|
||||||
fromGFCC :: GFCC -> Grammar
|
fromGFCC :: GFCC -> Grammar
|
||||||
fromGFCC gfcc0 = Grm [
|
fromGFCC gfcc0 = Grm [
|
||||||
AId (absname gfcc),
|
app "grammar" (AId (absname gfcc) : lmap AId (cncnames gfcc)),
|
||||||
app "concrete" (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)],
|
||||||
app "abstract" [
|
app "abstract" [
|
||||||
app "flags" [App f [AStr v] | (f,v) <- toList (aflags agfcc)],
|
app "flags" [App f [AStr v] | (f,v) <- toList (aflags agfcc)],
|
||||||
|
|||||||
Reference in New Issue
Block a user