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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
|
[ [ ( KeywordTok , "let" ) , ( NormalTok , " blocks = [" ) ]
, [ ( NormalTok , " (" )
, ( CharTok , "'B'" )
, ( NormalTok , ", " )
, ( CharTok , "'O'" )
, ( NormalTok , "); (" )
, ( CharTok , "'X'" )
, ( NormalTok , ", " )
, ( CharTok , "'K'" )
, ( NormalTok , "); (" )
, ( CharTok , "'D'" )
, ( NormalTok , ", " )
, ( CharTok , "'Q'" )
, ( NormalTok , "); (" )
, ( CharTok , "'C'" )
, ( NormalTok , ", " )
, ( CharTok , "'P'" )
, ( NormalTok , ");" )
]
, [ ( NormalTok , " (" )
, ( CharTok , "'N'" )
, ( NormalTok , ", " )
, ( CharTok , "'A'" )
, ( NormalTok , "); (" )
, ( CharTok , "'G'" )
, ( NormalTok , ", " )
, ( CharTok , "'T'" )
, ( NormalTok , "); (" )
, ( CharTok , "'R'" )
, ( NormalTok , ", " )
, ( CharTok , "'E'" )
, ( NormalTok , "); (" )
, ( CharTok , "'T'" )
, ( NormalTok , ", " )
, ( CharTok , "'G'" )
, ( NormalTok , ");" )
]
, [ ( NormalTok , " (" )
, ( CharTok , "'Q'" )
, ( NormalTok , ", " )
, ( CharTok , "'D'" )
, ( NormalTok , "); (" )
, ( CharTok , "'F'" )
, ( NormalTok , ", " )
, ( CharTok , "'S'" )
, ( NormalTok , "); (" )
, ( CharTok , "'J'" )
, ( NormalTok , ", " )
, ( CharTok , "'W'" )
, ( NormalTok , "); (" )
, ( CharTok , "'H'" )
, ( NormalTok , ", " )
, ( CharTok , "'U'" )
, ( NormalTok , ");" )
]
, [ ( NormalTok , " (" )
, ( CharTok , "'V'" )
, ( NormalTok , ", " )
, ( CharTok , "'I'" )
, ( NormalTok , "); (" )
, ( CharTok , "'A'" )
, ( NormalTok , ", " )
, ( CharTok , "'N'" )
, ( NormalTok , "); (" )
, ( CharTok , "'O'" )
, ( NormalTok , ", " )
, ( CharTok , "'B'" )
, ( NormalTok , "); (" )
, ( CharTok , "'E'" )
, ( NormalTok , ", " )
, ( CharTok , "'R'" )
, ( NormalTok , ");" )
]
, [ ( NormalTok , " (" )
, ( CharTok , "'F'" )
, ( NormalTok , ", " )
, ( CharTok , "'S'" )
, ( NormalTok , "); (" )
, ( CharTok , "'L'" )
, ( NormalTok , ", " )
, ( CharTok , "'Y'" )
, ( NormalTok , "); (" )
, ( CharTok , "'P'" )
, ( NormalTok , ", " )
, ( CharTok , "'C'" )
, ( NormalTok , "); (" )
, ( CharTok , "'Z'" )
, ( NormalTok , ", " )
, ( CharTok , "'M'" )
, ( NormalTok , ");" )
]
, [ ( NormalTok , "]" ) ]
, []
, [ ( KeywordTok , "let" )
, ( NormalTok , " find_letter blocks c =" )
]
, [ ( NormalTok , " " )
, ( KeywordTok , "let" )
, ( NormalTok , " found, remaining =" )
]
, [ ( NormalTok , " " )
, ( DataTypeTok , "List" )
, ( NormalTok , ".partition (" )
, ( KeywordTok , "fun" )
, ( NormalTok , " (c1, c2) -> c1 = c || c2 = c) blocks" )
]
, [ ( NormalTok , " " ) , ( KeywordTok , "in" ) ]
, [ ( NormalTok , " " )
, ( KeywordTok , "match" )
, ( NormalTok , " found " )
, ( KeywordTok , "with" )
]
, [ ( NormalTok , " | _ :: res -> " )
, ( DataTypeTok , "Some" )
, ( NormalTok , " (res @ remaining)" )
]
, [ ( NormalTok , " | _ -> " ) , ( DataTypeTok , "None" ) ]
, []
, [ ( KeywordTok , "let" ) , ( NormalTok , " can_make_word w =" ) ]
, [ ( NormalTok , " " )
, ( KeywordTok , "let" )
, ( NormalTok , " n = " )
, ( DataTypeTok , "String" )
, ( NormalTok , ".length w " )
, ( KeywordTok , "in" )
]
, [ ( NormalTok , " " )
, ( KeywordTok , "let" )
, ( NormalTok , " " )
, ( KeywordTok , "rec" )
, ( NormalTok , " aux i _blocks =" )
]
, [ ( NormalTok , " " )
, ( KeywordTok , "if" )
, ( NormalTok , " i >= n " )
, ( KeywordTok , "then" )
, ( NormalTok , " " )
, ( KeywordTok , "true" )
, ( NormalTok , " " )
, ( KeywordTok , "else" )
]
, [ ( NormalTok , " " )
, ( KeywordTok , "match" )
, ( NormalTok , " find_letter _blocks w.[i] " )
, ( KeywordTok , "with" )
]
, [ ( NormalTok , " | " )
, ( DataTypeTok , "None" )
, ( NormalTok , " -> " )
, ( KeywordTok , "false" )
]
, [ ( NormalTok , " | " )
, ( DataTypeTok , "Some" )
, ( NormalTok , " rem_blocks ->" )
]
, [ ( NormalTok , " aux (" )
, ( DataTypeTok , "succ" )
, ( NormalTok , " i) rem_blocks" )
]
, [ ( NormalTok , " " ) , ( KeywordTok , "in" ) ]
, [ ( NormalTok , " aux " )
, ( DecValTok , "0" )
, ( NormalTok , " blocks" )
]
, []
, [ ( KeywordTok , "let" )
, ( NormalTok , " test label f (word, should) =" )
]
, [ ( NormalTok , " " )
, ( DataTypeTok , "Printf" )
, ( NormalTok , ".printf " )
, ( StringTok , "\"- %s %S = %B (should: %B)" )
, ( CharTok , "\\n" )
, ( StringTok , "\"" )
, ( NormalTok , " label word (f word) should" )
]
, []
, [ ( KeywordTok , "let" ) , ( NormalTok , " () =" ) ]
, [ ( NormalTok , " " )
, ( DataTypeTok , "List" )
, ( NormalTok , ".iter (test " )
, ( StringTok , "\"can make word\"" )
, ( NormalTok , " can_make_word) [" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"A\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "true" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"BARK\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "true" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"BOOK\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "false" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"TREAT\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "true" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"COMMON\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "false" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"SQUAD\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "true" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " " )
, ( StringTok , "\"CONFUSE\"" )
, ( NormalTok , ", " )
, ( KeywordTok , "true" )
, ( NormalTok , ";" )
]
, [ ( NormalTok , " ]" ) ]
]
|
