From 747eccf2df19fa85a09b72cd1786372367c21976 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 17 May 2006 21:04:54 +0000
Subject: some godis additions to dialogue

---
 examples/dialogue/Dialogue.gf | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'examples/dialogue/Dialogue.gf')

diff --git a/examples/dialogue/Dialogue.gf b/examples/dialogue/Dialogue.gf
index 13c674731..31163cffe 100644
--- a/examples/dialogue/Dialogue.gf
+++ b/examples/dialogue/Dialogue.gf
@@ -5,6 +5,8 @@ abstract Dialogue = {
   cat
     Move ;
     Action ;
+    Proposition ;
+    Question ;
     Kind ;
     Object Kind ;
     Oper0 ;
@@ -13,9 +15,17 @@ abstract Dialogue = {
 
   fun
     MRequest : Action -> Move ;
-    MAnswer  : Action -> Move ;
+    MConfirm : Action -> Move ;
+    MAnswer  : Proposition -> Move ;
+    MIssue   : Question -> Move ;
 
-    MQuery : Kind -> Move ;
+    MYes     : Move ;
+    MNo      : Move ;
+    MObject  : (k : Kind) -> Object k -> Move ;
+
+    PAction  : Action -> Proposition ;
+
+    QKind  : Kind -> Question ;
 
     AOper0 :                 Oper0                             -> Action ;
     AOper1 : (k   : Kind) -> Oper1 k   -> Object k             -> Action ;
-- 
cgit v1.2.3