From 307042a6a1863854920da7eaae6fbc588457221c Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 1 Oct 2008 13:13:10 +0000
Subject: refreshed the tutorial

---
 examples/tutorial/semantics/SemBase.hs | 3 +--
 examples/tutorial/semantics/Top.hs     | 8 ++++----
 2 files changed, 5 insertions(+), 6 deletions(-)

(limited to 'examples/tutorial')

diff --git a/examples/tutorial/semantics/SemBase.hs b/examples/tutorial/semantics/SemBase.hs
index 24073894b..b682010e1 100644
--- a/examples/tutorial/semantics/SemBase.hs
+++ b/examples/tutorial/semantics/SemBase.hs
@@ -1,6 +1,6 @@
 module SemBase where
 
-import GSyntax
+import Base
 import Logic
 
 -- translation of Base syntax to Logic
@@ -8,7 +8,6 @@ import Logic
 iS :: GS -> Prop
 iS s = case s of
   GPredAP np ap -> iNP np (iAP ap)
-  GConjS c s t  -> iConj c (iS s) (iS t)
 
 iNP :: GNP -> (Exp -> Prop) -> Prop
 iNP np p = case np of
diff --git a/examples/tutorial/semantics/Top.hs b/examples/tutorial/semantics/Top.hs
index 6027b238c..51d5fbb99 100644
--- a/examples/tutorial/semantics/Top.hs
+++ b/examples/tutorial/semantics/Top.hs
@@ -1,16 +1,16 @@
 module Main where
 
-import GSyntax
+import Base
 import SemBase
 import Logic
-import GF.GFCC.API
+import PGF
 
 main :: IO ()
 main = do
-  gr <- file2grammar "base.gfcc"
+  gr <- file2grammar "Base.pgf"
   loop gr
 
-loop :: MultiGrammar -> IO ()
+loop :: PGF -> IO ()
 loop gr = do
   s <- getLine
   let t:_ = parse gr "BaseEng" "S" s
-- 
cgit v1.2.3