From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/tutorial/smart/SmartEng.gf | 78 ------------------------------------- 1 file changed, 78 deletions(-) delete mode 100644 examples/tutorial/smart/SmartEng.gf (limited to 'examples/tutorial/smart/SmartEng.gf') diff --git a/examples/tutorial/smart/SmartEng.gf b/examples/tutorial/smart/SmartEng.gf deleted file mode 100644 index 6c00fc7ff..000000000 --- a/examples/tutorial/smart/SmartEng.gf +++ /dev/null @@ -1,78 +0,0 @@ ---# -path=.:prelude - -concrete SmartEng of Smart = open Prelude in { - --- grammar Toy1 from the Regulus book - -flags startcat = Utterance ; - -param - Number = Sg | Pl ; - VForm = VImp | VPart ; - -lincat - Utterance = SS ; - Command = SS ; - Question = SS ; - Kind = {s : Number => Str} ; - Action = {s : VForm => Str ; part : Str} ; - Device = {s : Str ; n : Number} ; - Location = SS ; - Switchable = {} ; - Dimmable = {} ; - Statelike = {} ; - -lin - UCommand c = c ; - UQuestion q = q ; - - CAction _ act dev = ss (act.s ! VImp ++ bothWays act.part dev.s) ; - QAction _ act _ dev = ss (be dev.n ++ dev.s ++ act.s ! VPart ++ act.part) ; - - DKindOne k = { - s = "the" ++ k.s ! Sg ; - n = Sg - } ; - DKindMany k = { - s = "the" ++ k.s ! Pl ; - n = Pl - } ; - DLoc _ dev loc = { - s = dev.s ++ "in" ++ "the" ++ loc.s ; - n = dev.n - } ; - - light = mkNoun "light" ; - fan = mkNoun "fan" ; - - switchOn _ _ = mkVerb "switch" "switched" "on" ; - switchOff _ _ = mkVerb "switch" "switched" "off" ; - - dim _ _ = mkVerb "dim" "dimmed" [] ; - - kitchen = ss "kitchen" ; - livingRoom = ss ["living room"] ; - -oper - mkNoun : Str -> {s : Number => Str} = \dog -> { - s = table { - Sg => dog ; - Pl => dog + "s" - } - } ; - - mkVerb : (_,_,_ : Str) -> {s : VForm => Str ; part : Str} = \go,gone,away -> { - s = table { - VImp => go ; - VPart => gone - } ; - part = away - } ; - - be : Number -> Str = \n -> case n of { - Sg => "is" ; - Pl => "are" - } ; - -} - -- cgit v1.2.3