summaryrefslogtreecommitdiff
path: root/old-examples/dialogue/DialogueProlog.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/dialogue/DialogueProlog.gf
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/dialogue/DialogueProlog.gf')
-rw-r--r--old-examples/dialogue/DialogueProlog.gf42
1 files changed, 0 insertions, 42 deletions
diff --git a/old-examples/dialogue/DialogueProlog.gf b/old-examples/dialogue/DialogueProlog.gf
deleted file mode 100644
index 6398ee6f3..000000000
--- a/old-examples/dialogue/DialogueProlog.gf
+++ /dev/null
@@ -1,42 +0,0 @@
---# -path=.:prelude
-
-concrete DialogueProlog of Dialogue = open ResProlog, Prelude in {
-
- flags lexer=codelit ; unlexer=code ;
-
- lincat
- Move = SS ;
- Action = SS ;
- Proposition = SS ;
- Question = SS ;
- Kind = SS ;
- Object = SS ;
- Oper0 = SS ;
- Oper1 = {s, x : Str} ;
- Oper2 = {s, x, y : Str} ;
-
- lin
- MRequest a = a ;
- MConfirm a = a ; --- ??
- MAnswer a = a ; --- ??
- MIssue a = ss (bracket (app1 "ask" a.s)) ; --- ??
-
- MYes = ss (bracket (app1 "answer" "yes")) ;
- MNo = ss (bracket (app1 "answer" "no")) ;
- MObject _ ob = ss (bracket (apps "answer" ob).s) ;
-
- QKind k = ss (app2 "q" "X" (app1 k.s "X")) ;
-
- AOper0 op = ss (bracket (request op.s)) ;
- AOper1 _ op x = ss (req_ans op.s op.x x.s) ;
- AOper2 _ _ op x y =
- ss (bracket (request op.s ++ "," ++
- answer (app1 op.x x.s) ++ "," ++ answer (app1 op.y y.s))) ;
-
- OAll = apps "all" ;
- OIndef = apps "indef" ;
- ODef = apps "def" ;
-
-
-}
-