From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 09:18:50 +0000 Subject: took away old-examples --- old-examples/tutorial/smart/SmartI.gf | 50 ----------------------------------- 1 file changed, 50 deletions(-) delete mode 100644 old-examples/tutorial/smart/SmartI.gf (limited to 'old-examples/tutorial/smart/SmartI.gf') diff --git a/old-examples/tutorial/smart/SmartI.gf b/old-examples/tutorial/smart/SmartI.gf deleted file mode 100644 index 2b46ba0fe..000000000 --- a/old-examples/tutorial/smart/SmartI.gf +++ /dev/null @@ -1,50 +0,0 @@ ---# -path=.:present:prelude - -incomplete concrete SmartI of Smart = open Syntax, LexSmart, Prelude in { - --- grammar Toy1 from the Regulus book - -flags startcat = Utterance ; - -lincat - Utterance = Utt ; - Command = Imp ; - Question = QS ; - Kind = N ; - Action = V2 ; - Device = NP ; - Location = N ; - -lin - UCommand c = mkUtt politeImpForm c ; - UQuestion q = mkUtt q ; - - CAction _ act dev = mkImp act dev ; - QAction _ act st dev = - mkQS anteriorAnt (mkQCl (mkCl dev (passiveVP act))) ; ---- show empty proof - - DKindOne k = mkNP defSgDet k ; - DKindMany k = mkNP defPlDet k ; - DLoc _ dev loc = mkNP dev (mkAdv in_Prep (mkNP defSgDet loc)) ; - - light = light_N ; - fan = fan_N ; - - switchOn _ _ = switchOn_V2 ; - switchOff _ _ = switchOff_V2 ; - - dim _ _ = dim_V2 ; - - kitchen = kitchen_N ; - livingRoom = livingRoom_N ; - -lin - switchable_light = ss [] ; - switchable_fan = ss [] ; - dimmable_light = ss [] ; - - statelike_switchOn _ _ = ss [] ; - statelike_switchOff _ _ = ss [] ; - - -} -- cgit v1.2.3