diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-05-16 18:48:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-05-16 18:48:46 +0000 |
| commit | 5082ebd0f4a0c4ba04aab54d05290e6141e44129 (patch) | |
| tree | 56ff9778acad14e39f424e759b7c3d6d7925395e /examples/dialogue/DialogueGodis.gf | |
| parent | ecf429c593b7b986b02429f653f313c4e3875821 (diff) | |
renamed Godis to Prolog ; added Fin
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" ; - - -} - |