diff options
Diffstat (limited to 'examples/dialogue/DialogueGodis.gf')
| -rw-r--r-- | examples/dialogue/DialogueGodis.gf | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/examples/dialogue/DialogueGodis.gf b/examples/dialogue/DialogueGodis.gf deleted file mode 100644 index fd39b5cc3..000000000 --- a/examples/dialogue/DialogueGodis.gf +++ /dev/null @@ -1,34 +0,0 @@ ---# -path=.:prelude - -concrete DialogueGodis of Dialogue = open ResGodis, Prelude in { - - flags lexer=codelit ; unlexer=code ; - - lincat - Move = SS ; - Action = SS ; - Kind = SS ; - Object = SS ; - Oper0 = SS ; - Oper1 = SS ; - Oper2 = SS ; - - lin - MRequest a = a ; - MAnswer a = a ; --- ?? - - MQuery k = ss (bracket (app1 "query" k.s)) ; --- - - AOper0 op = ss (bracket (request op.s)) ; - AOper1 k op x = ss (req_ans op.s k.s x.s) ; - AOper2 k m op x y = - ss (bracket (request op.s ++ "," ++ - answer (app1 k.s x.s) ++ "," ++ answer (app1 m.s y.s))) ; - - OAll = apps "all" ; - OIndef = apps "indef" ; - ODef = apps "def" ; - - -} - |
