summaryrefslogtreecommitdiff
path: root/examples/dialogue/DialogueProlog.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
commite9e80fc389365e24d4300d7d5390c7d833a96c50 (patch)
treef0b58473adaa670bd8fc52ada419d8cad470ee03 /examples/dialogue/DialogueProlog.gf
parentb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff)
changed names of resource-1.3; added a note on homepage on release
Diffstat (limited to 'examples/dialogue/DialogueProlog.gf')
-rw-r--r--examples/dialogue/DialogueProlog.gf42
1 files changed, 0 insertions, 42 deletions
diff --git a/examples/dialogue/DialogueProlog.gf b/examples/dialogue/DialogueProlog.gf
deleted file mode 100644
index 6398ee6f3..000000000
--- a/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" ;
-
-
-}
-