summaryrefslogtreecommitdiff
path: root/examples/godis-tram/Common/GodisUserSem.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/godis-tram/Common/GodisUserSem.gf')
-rw-r--r--examples/godis-tram/Common/GodisUserSem.gf33
1 files changed, 0 insertions, 33 deletions
diff --git a/examples/godis-tram/Common/GodisUserSem.gf b/examples/godis-tram/Common/GodisUserSem.gf
deleted file mode 100644
index b863d0983..000000000
--- a/examples/godis-tram/Common/GodisUserSem.gf
+++ /dev/null
@@ -1,33 +0,0 @@
---# -path=.:prelude
-
-concrete GodisUserSem of GodisUser =
- open Prolog, GodisSystemSem in {
-
-lincat
-
-S,
-Question,
-Answer,
-ShortAns,
-Action,
-Proposition = PStr;
-
-lin
-
-greet_S = pList1 (pp0 "greet");
-quit_S = pList1 (pp0 "quit");
-
-no_S = pm1 (answer (pp0 "no"));
-yes_S = pm1 (answer (pp0 "yes"));
-
-answer_S = pBrackets;
-ask_S = pBrackets;
-request_S = pBrackets;
-shortans_S = pBrackets;
-
-not_prop_S = \x -> pBrackets (pp1 "not" x);
-not_shortans_S = \x -> pBrackets (pp1 "not" x);
-
-request_request_S = pList2;
-
-}