blob: e238603d41f40c1f34d39fe6b40b9f3dc4f70b47 (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
--# -path=.:prelude:resource-1.0/thai
concrete TravelEng of Travel = NumeralEng ** open Prelude in {
flags startcat = Order; language = en_US;
lincat
Order = { s : Str } ;
printname cat
Order = "What would you like to say?" ;
lin
order is = { s = is.s } ;
lincat
Output = { s : Str } ;
lin
confirm o t = { s = o.s} ;
flags unlexer=unwords ;
lincat
Phrase = SS ;
Number = SS ;
lin
Hello = ss "hello" ;
Goodbye = ss "bye" ;
Please = ss "please" ;
ThankYou = ss "thanks" ;
YoureWelcome = ss ["you are welcome"] ;
Yes = ss "yes" ;
No = ss "no" ;
ExcuseAttention = ss ["excuse me"] ;
ExcuseGetPast = ss ["excuse me"] ;
Sorry = ss "sorry" ;
IUnderstand = ss ["I understand"] ;
IDontUnderstand = ss ["I do not understand"] ;
Help = ss "help" ;
WhereAreToilets = ss ["where are the toilets"] ;
SayNumber n = n ;
One = ss "one" ;
Two = ss "two" ;
Three = ss "three" ;
Four = ss "four" ;
Five = ss "five" ;
Six = ss "six" ;
Seven = ss "seven" ;
Eight = ss "eight" ;
Nine = ss "nine" ;
Ten = ss "ten" ;
lincat
Product = {s : Str} ;
Kind = {s : Str} ;
printname cat
Product = "what product do you mean?" ;
Kind = "what kind of product do you mean?" ;
lin
HowMuchCost p = {s = ["how much does"] ++ item p ++ "cost"} ;
IWantToHave p = {s = ["I would like to have"] ++ item p} ;
This k = {s = "this" ++ variants {k.s ; []}} ;
Beer = {s = "beer"} ;
Shirt = {s = "shirt"} ;
oper
item : SS -> Str = \p ->
variants {
p.s ;
-- no product given at all
"it"
} ;
}
|
