blob: fd39b5cc340a969be8091095f49a7fc032f0ac07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
--# -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" ;
}
|
