From 6f622b496b581e4be3ab68eba3e0b4329ecd7f92 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Tue, 26 Jan 2021 09:35:21 +0100 Subject: [PATCH] Rename Zero grammar to Walking --- testsuite/lpgf/{Zero.gf => Walking.gf} | 2 +- testsuite/lpgf/{ZeroEng.gf => WalkingEng.gf} | 2 +- testsuite/lpgf/{ZeroGer.gf => WalkingGer.gf} | 2 +- testsuite/lpgf/run.hs | 14 +++++++------- 4 files changed, 10 insertions(+), 10 deletions(-) rename testsuite/lpgf/{Zero.gf => Walking.gf} (90%) rename testsuite/lpgf/{ZeroEng.gf => WalkingEng.gf} (91%) rename testsuite/lpgf/{ZeroGer.gf => WalkingGer.gf} (94%) diff --git a/testsuite/lpgf/Zero.gf b/testsuite/lpgf/Walking.gf similarity index 90% rename from testsuite/lpgf/Zero.gf rename to testsuite/lpgf/Walking.gf index 904572ae2..158caa1f1 100644 --- a/testsuite/lpgf/Zero.gf +++ b/testsuite/lpgf/Walking.gf @@ -1,5 +1,5 @@ -- From Angelov, Bringert, Ranta (2009) -abstract Zero = { +abstract Walking = { flags startcat = S ; cat S; NP; VP; diff --git a/testsuite/lpgf/ZeroEng.gf b/testsuite/lpgf/WalkingEng.gf similarity index 91% rename from testsuite/lpgf/ZeroEng.gf rename to testsuite/lpgf/WalkingEng.gf index fc97ffd9b..a31650fcf 100644 --- a/testsuite/lpgf/ZeroEng.gf +++ b/testsuite/lpgf/WalkingEng.gf @@ -1,5 +1,5 @@ -- From Angelov, Bringert, Ranta (2009) -concrete ZeroEng of Zero = { +concrete WalkingEng of Walking = { lincat S = Str ; NP = {s : Str; n : Number} ; diff --git a/testsuite/lpgf/ZeroGer.gf b/testsuite/lpgf/WalkingGer.gf similarity index 94% rename from testsuite/lpgf/ZeroGer.gf rename to testsuite/lpgf/WalkingGer.gf index 5dae7560d..28791ebc3 100644 --- a/testsuite/lpgf/ZeroGer.gf +++ b/testsuite/lpgf/WalkingGer.gf @@ -1,5 +1,5 @@ -- From Angelov, Bringert, Ranta (2009) -concrete ZeroGer of Zero = { +concrete WalkingGer of Walking = { lincat S = Str ; NP = {s : Str; n : Number; p : Person} ; diff --git a/testsuite/lpgf/run.hs b/testsuite/lpgf/run.hs index 57e0e749d..f07ee7ecc 100644 --- a/testsuite/lpgf/run.hs +++ b/testsuite/lpgf/run.hs @@ -10,11 +10,11 @@ import Text.Printf (printf) main :: IO () main = do -- Compile LPGF - lpgf <- compileToLPGF noOptions ["testsuite/lpgf/ZeroEng.gf", "testsuite/lpgf/ZeroGer.gf"] + lpgf <- compileToLPGF noOptions ["testsuite/lpgf/WalkingEng.gf", "testsuite/lpgf/WalkingGer.gf"] writeLPGF noOptions lpgf -- Read back from file - lpgf <- readLPGF "Zero.lpgf" + lpgf <- readLPGF "Walking.lpgf" -- Do some linearization forM_ [tree1, tree2, tree3] $ \tree -> do @@ -35,9 +35,9 @@ tree3 :: Tree tree3 = mkApp (mkCId "And") [tree1, tree2] -- Initial LPGF, Figures 6 & 7 -zero :: LPGF -zero = LPGF { - absname = mkCId "Zero", +walking :: LPGF +walking = LPGF { + absname = mkCId "Walking", abstract = Abstr { -- cats = Map.fromList [ -- (mkCId "S", ()), @@ -53,7 +53,7 @@ zero = LPGF { -- ] }, concretes = Map.fromList [ - (mkCId "ZeroEng", Concr { + (mkCId "WalkingEng", Concr { -- lincats = Map.fromList [ -- (mkCId "S", LTStr), -- (mkCId "NP", LTProduct [LTStr, LTInt 2]), @@ -67,7 +67,7 @@ zero = LPGF { (mkCId "Walk", LFTuple [LFToken "walks", LFToken "walk"]) ] }), - (mkCId "ZeroGer", Concr { + (mkCId "WalkingGer", Concr { -- lincats = Map.fromList [ -- (mkCId "S", LTStr), -- (mkCId "NP", LTProduct [LTStr, LTInt 2, LTInt 3]),