1[
2 {"type":"KeywordReserved","value":"signature"},
3 {"type":"Text","value":" "},
4 {"type":"NameNamespace","value":"S"},
5 {"type":"Text","value":" "},
6 {"type":"Name","value":"="},
7 {"type":"Text","value":" "},
8 {"type":"KeywordReserved","value":"sig"},
9 {"type":"Text","value":"\n "},
10 {"type":"KeywordReserved","value":"datatype"},
11 {"type":"Text","value":" "},
12 {"type":"KeywordType","value":"t"},
13 {"type":"Text","value":" "},
14 {"type":"Punctuation","value":"="},
15 {"type":"Text","value":" "},
16 {"type":"NameClass","value":"Hoge"},
17 {"type":"Text","value":" "},
18 {"type":"Punctuation","value":"|"},
19 {"type":"Text","value":" "},
20 {"type":"NameClass","value":"Fuga"},
21 {"type":"Text","value":"\n"},
22 {"type":"KeywordReserved","value":"end"},
23 {"type":"Text","value":"\n\n"},
24 {"type":"Name","value":"structur"},
25 {"type":"Text","value":" "},
26 {"type":"Name","value":"A"},
27 {"type":"Text","value":" "},
28 {"type":"Name","value":"="},
29 {"type":"Text","value":" "},
30 {"type":"KeywordReserved","value":"struct"},
31 {"type":"Text","value":"\n "},
32 {"type":"KeywordReserved","value":"structure"},
33 {"type":"Text","value":" "},
34 {"type":"NameNamespace","value":"B"},
35 {"type":"Text","value":" "},
36 {"type":"Name","value":"="},
37 {"type":"Text","value":" "},
38 {"type":"KeywordReserved","value":"struct"},
39 {"type":"Text","value":"\n "},
40 {"type":"KeywordReserved","value":"structure"},
41 {"type":"Text","value":" "},
42 {"type":"NameNamespace","value":"C"},
43 {"type":"Text","value":" "},
44 {"type":"Name","value":"="},
45 {"type":"Text","value":" "},
46 {"type":"KeywordReserved","value":"struct"},
47 {"type":"Text","value":"\n "},
48 {"type":"KeywordReserved","value":"type"},
49 {"type":"Text","value":" "},
50 {"type":"KeywordType","value":"t"},
51 {"type":"Text","value":" "},
52 {"type":"Punctuation","value":"="},
53 {"type":"Text","value":" "},
54 {"type":"Name","value":"int"},
55 {"type":"Text","value":" "},
56 {"type":"Name","value":"*"},
57 {"type":"Text","value":" "},
58 {"type":"Name","value":"real"},
59 {"type":"Text","value":" "},
60 {"type":"Name","value":"*"},
61 {"type":"Text","value":" "},
62 {"type":"Name","value":"string"},
63 {"type":"Text","value":" "},
64 {"type":"Name","value":"*"},
65 {"type":"Text","value":" "},
66 {"type":"Name","value":"bool"},
67 {"type":"Text","value":" "},
68 {"type":"Name","value":"ref"},
69 {"type":"Text","value":"\n "},
70 {"type":"KeywordReserved","value":"end"},
71 {"type":"Text","value":"\n "},
72 {"type":"KeywordReserved","value":"end"},
73 {"type":"Text","value":"\n"},
74 {"type":"KeywordReserved","value":"end"},
75 {"type":"Text","value":"\n\n"},
76 {"type":"KeywordReserved","value":"functor"},
77 {"type":"Text","value":" "},
78 {"type":"NameNamespace","value":"F"},
79 {"type":"Punctuation","value":"("},
80 {"type":"Name","value":"X"},
81 {"type":"KeywordReserved","value":":sig"},
82 {"type":"Text","value":" "},
83 {"type":"KeywordReserved","value":"type"},
84 {"type":"Text","value":" "},
85 {"type":"KeywordType","value":"t"},
86 {"type":"Error","value":";"},
87 {"type":"Text","value":" "},
88 {"type":"KeywordReserved","value":"val"},
89 {"type":"Text","value":" "},
90 {"type":"NameVariable","value":"compare"},
91 {"type":"Name","value":":"},
92 {"type":"Text","value":" "},
93 {"type":"Name","value":"t"},
94 {"type":"Text","value":" "},
95 {"type":"Name","value":"*"},
96 {"type":"Text","value":" "},
97 {"type":"Name","value":"t"},
98 {"type":"Text","value":" "},
99 {"type":"Name","value":"-\u003e"},
100 {"type":"Text","value":" "},
101 {"type":"Name","value":"order"},
102 {"type":"Punctuation","value":")"},
103 {"type":"Name","value":":"},
104 {"type":"Text","value":" "},
105 {"type":"Name","value":"S"},
106 {"type":"Text","value":" "},
107 {"type":"Name","value":"="},
108 {"type":"Text","value":" "},
109 {"type":"KeywordReserved","value":"struct"},
110 {"type":"Text","value":"\n "},
111 {"type":"KeywordReserved","value":"datatype"},
112 {"type":"Text","value":" "},
113 {"type":"KeywordType","value":"t"},
114 {"type":"Text","value":" "},
115 {"type":"Punctuation","value":"="},
116 {"type":"Text","value":" "},
117 {"type":"NameClass","value":"Hoge"},
118 {"type":"Text","value":" "},
119 {"type":"Punctuation","value":"|"},
120 {"type":"Text","value":" "},
121 {"type":"NameClass","value":"Fuga"},
122 {"type":"Text","value":"\n"},
123 {"type":"KeywordReserved","value":"end"},
124 {"type":"Text","value":"\n\n"},
125 {"type":"KeywordReserved","value":"structure"},
126 {"type":"Text","value":" "},
127 {"type":"NameNamespace","value":"Main"},
128 {"type":"Text","value":" "},
129 {"type":"Name","value":"="},
130 {"type":"Text","value":" "},
131 {"type":"KeywordReserved","value":"struct"},
132 {"type":"Text","value":"\n "},
133 {"type":"KeywordReserved","value":"local"},
134 {"type":"Text","value":"\n "},
135 {"type":"KeywordReserved","value":"structure"},
136 {"type":"Text","value":" "},
137 {"type":"NameNamespace","value":"M"},
138 {"type":"Text","value":" "},
139 {"type":"Name","value":"="},
140 {"type":"Text","value":" "},
141 {"type":"Name","value":"F"},
142 {"type":"Punctuation","value":"("},
143 {"type":"Name","value":"Int"},
144 {"type":"Punctuation","value":")"},
145 {"type":"Text","value":"\n "},
146 {"type":"KeywordReserved","value":"open"},
147 {"type":"Text","value":" "},
148 {"type":"NameNamespace","value":"M"},
149 {"type":"Text","value":"\n "},
150 {"type":"KeywordReserved","value":"in"},
151 {"type":"Text","value":"\n "},
152 {"type":"KeywordReserved","value":"fun"},
153 {"type":"Text","value":" "},
154 {"type":"NameFunction","value":"id"},
155 {"type":"Text","value":" "},
156 {"type":"Name","value":"x"},
157 {"type":"Text","value":" "},
158 {"type":"Name","value":"="},
159 {"type":"Text","value":" "},
160 {"type":"Name","value":"x"},
161 {"type":"Text","value":"\n "},
162 {"type":"KeywordReserved","value":"val"},
163 {"type":"Text","value":" "},
164 {"type":"NameVariable","value":"bool"},
165 {"type":"Text","value":" "},
166 {"type":"Punctuation","value":"="},
167 {"type":"Text","value":" "},
168 {"type":"KeywordReserved","value":"if"},
169 {"type":"Text","value":" "},
170 {"type":"Name","value":"true"},
171 {"type":"Text","value":" "},
172 {"type":"KeywordReserved","value":"then"},
173 {"type":"Text","value":" "},
174 {"type":"Name","value":"false"},
175 {"type":"Text","value":" "},
176 {"type":"KeywordReserved","value":"orelse"},
177 {"type":"Text","value":" "},
178 {"type":"Name","value":"false"},
179 {"type":"Text","value":" "},
180 {"type":"KeywordReserved","value":"else"},
181 {"type":"Text","value":" "},
182 {"type":"Name","value":"true"},
183 {"type":"Text","value":" "},
184 {"type":"KeywordReserved","value":"andalso"},
185 {"type":"Text","value":" "},
186 {"type":"Name","value":"true"},
187 {"type":"Text","value":"\n "},
188 {"type":"KeywordReserved","value":"val"},
189 {"type":"Text","value":" "},
190 {"type":"NameVariable","value":"int"},
191 {"type":"Text","value":" "},
192 {"type":"Punctuation","value":"="},
193 {"type":"Text","value":" "},
194 {"type":"LiteralNumberInteger","value":"~1"},
195 {"type":"Text","value":" "},
196 {"type":"Name","value":"+"},
197 {"type":"Text","value":" "},
198 {"type":"LiteralNumberInteger","value":"1"},
199 {"type":"Text","value":"\n "},
200 {"type":"KeywordReserved","value":"val"},
201 {"type":"Text","value":" "},
202 {"type":"NameVariable","value":"real"},
203 {"type":"Text","value":" "},
204 {"type":"Punctuation","value":"="},
205 {"type":"Text","value":" "},
206 {"type":"LiteralNumberFloat","value":"0.7"},
207 {"type":"Text","value":" "},
208 {"type":"Name","value":"-"},
209 {"type":"Text","value":" "},
210 {"type":"LiteralNumberFloat","value":"0.32E5"},
211 {"type":"Text","value":" "},
212 {"type":"Name","value":"*"},
213 {"type":"Text","value":" "},
214 {"type":"Name","value":"E3"},
215 {"type":"LiteralNumberInteger","value":"~7"},
216 {"type":"Text","value":"\n "},
217 {"type":"KeywordReserved","value":"val"},
218 {"type":"Text","value":" "},
219 {"type":"NameVariable","value":"string"},
220 {"type":"Text","value":" "},
221 {"type":"Punctuation","value":"="},
222 {"type":"Text","value":" "},
223 {"type":"LiteralStringDouble","value":"\"a"},
224 {"type":"LiteralStringEscape","value":"\\a\\b\\t\\n\\v\\f\\r\\^M\\097\\u00a1\\\"\\\\"},
225 {"type":"LiteralStringInterpol","value":"\\\n \\"},
226 {"type":"LiteralStringDouble","value":"\""},
227 {"type":"Text","value":"\n "},
228 {"type":"CommentMultiline","value":"(* (* comments *) *)"},
229 {"type":"Text","value":"\n "},
230 {"type":"KeywordReserved","value":"val"},
231 {"type":"Text","value":" "},
232 {"type":"NameVariable","value":"##"},
233 {"type":"Text","value":" "},
234 {"type":"Punctuation","value":"="},
235 {"type":"Text","value":" "},
236 {"type":"LiteralNumberInteger","value":"1"},
237 {"type":"Text","value":"\n "},
238 {"type":"KeywordReserved","value":"val"},
239 {"type":"Text","value":" "},
240 {"type":"NameVariable","value":"|=|"},
241 {"type":"Text","value":" "},
242 {"type":"Punctuation","value":"="},
243 {"type":"Text","value":" "},
244 {"type":"LiteralNumberInteger","value":"2"},
245 {"type":"Text","value":"\n "},
246 {"type":"KeywordReserved","value":"infix"},
247 {"type":"Text","value":" "},
248 {"type":"Name","value":"##"},
249 {"type":"Text","value":"\n "},
250 {"type":"KeywordReserved","value":"infixr"},
251 {"type":"Text","value":" "},
252 {"type":"Name","value":"##"},
253 {"type":"Text","value":"\n "},
254 {"type":"KeywordReserved","value":"val"},
255 {"type":"Text","value":" "},
256 {"type":"NameVariable","value":"op"},
257 {"type":"Name","value":"##"},
258 {"type":"Text","value":" "},
259 {"type":"Name","value":"="},
260 {"type":"Text","value":" "},
261 {"type":"KeywordReserved","value":"case"},
262 {"type":"Text","value":" "},
263 {"type":"Name","value":"Hoge"},
264 {"type":"Text","value":" "},
265 {"type":"KeywordReserved","value":"of"},
266 {"type":"Text","value":"\n "},
267 {"type":"Name","value":"Hoge"},
268 {"type":"Text","value":" "},
269 {"type":"Name","value":"=\u003e"},
270 {"type":"Text","value":" "},
271 {"type":"Name","value":"Fuga"},
272 {"type":"Text","value":"\n "},
273 {"type":"Name","value":"|"},
274 {"type":"Text","value":" "},
275 {"type":"Name","value":"Fuga"},
276 {"type":"Text","value":" "},
277 {"type":"Name","value":"=\u003e"},
278 {"type":"Text","value":" "},
279 {"type":"Name","value":"Hoge"},
280 {"type":"Text","value":"\n "},
281 {"type":"KeywordReserved","value":"type"},
282 {"type":"Text","value":" "},
283 {"type":"KeywordType","value":"s"},
284 {"type":"Text","value":" "},
285 {"type":"Punctuation","value":"="},
286 {"type":"Text","value":" "},
287 {"type":"Punctuation","value":"{"},
288 {"type":"LiteralNumberInteger","value":"1"},
289 {"type":"Name","value":":"},
290 {"type":"Text","value":" "},
291 {"type":"Name","value":"t"},
292 {"type":"Punctuation","value":","},
293 {"type":"Text","value":" "},
294 {"type":"Name","value":"label:"},
295 {"type":"Text","value":" "},
296 {"type":"Name","value":"unit"},
297 {"type":"Punctuation","value":"}"},
298 {"type":"Text","value":"\n "},
299 {"type":"KeywordReserved","value":"type"},
300 {"type":"Text","value":" "},
301 {"type":"KeywordType","value":"u"},
302 {"type":"Text","value":" "},
303 {"type":"Punctuation","value":"="},
304 {"type":"Text","value":" "},
305 {"type":"NameNamespace","value":"A.B.C."},
306 {"type":"Name","value":"t"},
307 {"type":"Text","value":"\n "},
308 {"type":"KeywordReserved","value":"val"},
309 {"type":"Text","value":" "},
310 {"type":"NameVariable","value":"s"},
311 {"type":"Text","value":" "},
312 {"type":"Punctuation","value":"="},
313 {"type":"Text","value":" "},
314 {"type":"Punctuation","value":"{"},
315 {"type":"LiteralNumberInteger","value":"1"},
316 {"type":"Text","value":" "},
317 {"type":"Name","value":"="},
318 {"type":"Text","value":" "},
319 {"type":"Name","value":"Hoge"},
320 {"type":"Punctuation","value":","},
321 {"type":"Text","value":" "},
322 {"type":"Name","value":"label"},
323 {"type":"Text","value":" "},
324 {"type":"Name","value":"="},
325 {"type":"Text","value":" "},
326 {"type":"Punctuation","value":"()}"},
327 {"type":"Text","value":"\n "},
328 {"type":"KeywordReserved","value":"fun"},
329 {"type":"Text","value":" "},
330 {"type":"NameFunction","value":"id"},
331 {"type":"Text","value":" "},
332 {"type":"Name","value":"x"},
333 {"type":"Text","value":" "},
334 {"type":"Name","value":"="},
335 {"type":"Text","value":" "},
336 {"type":"Name","value":"x"},
337 {"type":"Text","value":"\n "},
338 {"type":"KeywordReserved","value":"val"},
339 {"type":"Text","value":" "},
340 {"type":"NameVariable","value":"rec"},
341 {"type":"Text","value":" "},
342 {"type":"Name","value":"id"},
343 {"type":"Text","value":" "},
344 {"type":"Name","value":"="},
345 {"type":"Text","value":" "},
346 {"type":"KeywordReserved","value":"fn"},
347 {"type":"Text","value":" "},
348 {"type":"Name","value":"x"},
349 {"type":"Text","value":" "},
350 {"type":"Name","value":"=\u003e"},
351 {"type":"Text","value":" "},
352 {"type":"Name","value":"x"},
353 {"type":"Text","value":"\n "},
354 {"type":"KeywordReserved","value":"exception"},
355 {"type":"Text","value":" "},
356 {"type":"NameClass","value":"X"},
357 {"type":"Text","value":" "},
358 {"type":"KeywordReserved","value":"and"},
359 {"type":"Text","value":" "},
360 {"type":"NameClass","value":"Y"},
361 {"type":"Text","value":"\n "},
362 {"type":"KeywordReserved","value":"raise"},
363 {"type":"Text","value":" "},
364 {"type":"Name","value":"X"},
365 {"type":"Text","value":" "},
366 {"type":"KeywordReserved","value":"handle"},
367 {"type":"Text","value":" "},
368 {"type":"Name","value":"X"},
369 {"type":"Text","value":" "},
370 {"type":"Name","value":"=\u003e"},
371 {"type":"Text","value":" "},
372 {"type":"Punctuation","value":"("},
373 {"type":"Name","value":"nil"},
374 {"type":"Punctuation","value":","},
375 {"type":"Text","value":" "},
376 {"type":"Punctuation","value":"["},
377 {"type":"LiteralNumberInteger","value":"1"},
378 {"type":"Punctuation","value":"],"},
379 {"type":"Text","value":" "},
380 {"type":"Punctuation","value":"["},
381 {"type":"LiteralNumberInteger","value":"1"},
382 {"type":"Punctuation","value":","},
383 {"type":"Text","value":" "},
384 {"type":"LiteralNumberInteger","value":"2"},
385 {"type":"Punctuation","value":"])"},
386 {"type":"Text","value":"\n "},
387 {"type":"KeywordReserved","value":"end"},
388 {"type":"Text","value":"\n"},
389 {"type":"KeywordReserved","value":"end"},
390 {"type":"Text","value":"\n"}
391]
View as plain text