1[
2 {"type":"Comment","value":"(**\n# First-level heading\nSome more documentation using `Markdown`.\n*)"},
3 {"type":"Text","value":"\n"},
4 {"type":"Keyword","value":"module"},
5 {"type":"Text","value":" "},
6 {"type":"NameNamespace","value":"SampleCode.SimpleTypes"},
7 {"type":"Text","value":"\n\n"},
8 {"type":"Comment","value":"(**\nThis comments was making the whole file render as a comment.\n**)"},
9 {"type":"Text","value":"\n\n"},
10 {"type":"CommentSingle","value":"// Compiler directives\n"},
11 {"type":"Text","value":"\n"},
12 {"type":"CommentPreproc","value":"#if"},
13 {"type":"Text","value":" "},
14 {"type":"Keyword","value":"true"},
15 {"type":"Text","value":"\n"},
16 {"type":"Operator","value":"#"},
17 {"type":"Keyword","value":"elif"},
18 {"type":"Text","value":" "},
19 {"type":"Keyword","value":"false"},
20 {"type":"Text","value":"\n"},
21 {"type":"Operator","value":"#"},
22 {"type":"Name","value":"elseif"},
23 {"type":"Text","value":" "},
24 {"type":"Keyword","value":"false"},
25 {"type":"Text","value":"\n"},
26 {"type":"CommentPreproc","value":"#endif"},
27 {"type":"Text","value":"\n"},
28 {"type":"CommentPreproc","value":"#light"},
29 {"type":"Text","value":" "},
30 {"type":"LiteralString","value":"\"on\""},
31 {"type":"Text","value":"\n"},
32 {"type":"CommentPreproc","value":"#nowarn"},
33 {"type":"Text","value":"\n"},
34 {"type":"CommentPreproc","value":"#nowarn"},
35 {"type":"Text","value":" "},
36 {"type":"LiteralString","value":"\"9\""},
37 {"type":"Text","value":" "},
38 {"type":"LiteralString","value":"\"40\""},
39 {"type":"Text","value":"\n\n"},
40 {"type":"Keyword","value":"open"},
41 {"type":"Text","value":" "},
42 {"type":"NameNamespace","value":"System.Text"},
43 {"type":"CommentSingle","value":"// check that comments are handled correctly\n"},
44 {"type":"Keyword","value":"open"},
45 {"type":"Text","value":" "},
46 {"type":"NameNamespace","value":"System.Text"},
47 {"type":"Text","value":" "},
48 {"type":"CommentSingle","value":"// check that comments are handled correctly\n"},
49 {"type":"Keyword","value":"open"},
50 {"type":"Text","value":" "},
51 {"type":"NameNamespace","value":"System.Text.RegularExpressions"},
52 {"type":"Comment","value":"(* check that comments are handled correctly *)"},
53 {"type":"Text","value":"\n"},
54 {"type":"Keyword","value":"open"},
55 {"type":"Text","value":" "},
56 {"type":"NameNamespace","value":"System.Text.RegularExpressions"},
57 {"type":"Text","value":" "},
58 {"type":"Comment","value":"(* check that comments are handled correctly *)"},
59 {"type":"Text","value":"\n\n"},
60 {"type":"Keyword","value":"module"},
61 {"type":"Text","value":" "},
62 {"type":"NameNamespace","value":"Test"},
63 {"type":"Text","value":" "},
64 {"type":"Operator","value":"="},
65 {"type":"Text","value":"\n\n "},
66 {"type":"Comment","value":"(** **Check** that this line isn't capture for the markdown grammar **)"},
67 {"type":"Text","value":"\n "},
68 {"type":"Keyword","value":"let"},
69 {"type":"Text","value":" "},
70 {"type":"NameVariable","value":"a"},
71 {"type":"Text","value":" "},
72 {"type":"Operator","value":"="},
73 {"type":"Text","value":" "},
74 {"type":"LiteralString","value":"\"\""},
75 {"type":"Text","value":"\n\n "},
76 {"type":"Comment","value":"(**\n This is an edge case, because in early implementation this is commented the whilte file\n\n Line with indentation isn't colorized because markdown can't set up his context.\n *)"},
77 {"type":"Text","value":"\n "},
78 {"type":"Keyword","value":"let"},
79 {"type":"Text","value":" "},
80 {"type":"NameVariable","value":"b"},
81 {"type":"Text","value":" "},
82 {"type":"Operator","value":"="},
83 {"type":"Text","value":" "},
84 {"type":"LiteralString","value":"\"\""},
85 {"type":"Text","value":"\n\n "},
86 {"type":"Comment","value":"(**\nThis block is colorized becasue markdown can set up his context.\n\n# First-level heading\nThis should be parsed as `markdown`.\nThis is an edge case, because in early implementation this is parser the whole\nfile as markdown\n *)"},
87 {"type":"Text","value":"\n "},
88 {"type":"Keyword","value":"let"},
89 {"type":"Text","value":" "},
90 {"type":"NameVariable","value":"c"},
91 {"type":"Text","value":" "},
92 {"type":"Operator","value":"="},
93 {"type":"Text","value":" "},
94 {"type":"LiteralString","value":"\"\""},
95 {"type":"Text","value":"\n\n "},
96 {"type":"Comment","value":"(* Comments with nested (* (* *) *) works\n\n This line should be shown commented.\n class should not be colored\n *)"},
97 {"type":"Text","value":"\n "},
98 {"type":"Keyword","value":"let"},
99 {"type":"Text","value":" "},
100 {"type":"NameVariable","value":"d"},
101 {"type":"Text","value":" "},
102 {"type":"Operator","value":"="},
103 {"type":"Text","value":" "},
104 {"type":"LiteralString","value":"\"\""},
105 {"type":"Text","value":"\n\n "},
106 {"type":"Keyword","value":"let"},
107 {"type":"Text","value":" "},
108 {"type":"NameVariable","value":"e"},
109 {"type":"Text","value":" "},
110 {"type":"Operator","value":"="},
111 {"type":"Text","value":" "},
112 {"type":"Comment","value":"(* comment// *)"},
113 {"type":"Text","value":" "},
114 {"type":"LiteralString","value":"\"not a comment\""},
115 {"type":"Text","value":"\n\n"},
116 {"type":"LiteralStringDoc","value":"/// **Description**\n///\n/// **Parameters**\n/// * `arg1` - parameter of type `string`\n/// * `arg2` - parameter of type `string`\n///\n/// **Output Type**\n/// * `string`\n///\n/// **Exceptions**\n///\n"},
117 {"type":"Keyword","value":"let"},
118 {"type":"Text","value":" "},
119 {"type":"NameVariable","value":"markdownDemo"},
120 {"type":"Text","value":" "},
121 {"type":"Operator","value":"("},
122 {"type":"Name","value":"arg1"},
123 {"type":"Text","value":" "},
124 {"type":"Operator","value":":"},
125 {"type":"Text","value":" "},
126 {"type":"KeywordType","value":"string"},
127 {"type":"Operator","value":")"},
128 {"type":"Text","value":" "},
129 {"type":"Operator","value":"("},
130 {"type":"Name","value":"arg2"},
131 {"type":"Text","value":" "},
132 {"type":"Operator","value":":"},
133 {"type":"Text","value":" "},
134 {"type":"KeywordType","value":"string"},
135 {"type":"Operator","value":")"},
136 {"type":"Text","value":" "},
137 {"type":"Operator","value":"="},
138 {"type":"Text","value":"\n "},
139 {"type":"LiteralString","value":"\"\""},
140 {"type":"Text","value":"\n\n"},
141 {"type":"LiteralStringDoc","value":"/// **Checking that markdown is really working on single line**\n"},
142 {"type":"Keyword","value":"let"},
143 {"type":"Text","value":" "},
144 {"type":"NameVariable","value":"markdownDemo2"},
145 {"type":"Text","value":" "},
146 {"type":"Operator","value":"("},
147 {"type":"Name","value":"arg1"},
148 {"type":"Text","value":" "},
149 {"type":"Operator","value":":"},
150 {"type":"Text","value":" "},
151 {"type":"KeywordType","value":"string"},
152 {"type":"Operator","value":")"},
153 {"type":"Text","value":" "},
154 {"type":"Operator","value":"("},
155 {"type":"Name","value":"arg2"},
156 {"type":"Text","value":" "},
157 {"type":"Operator","value":":"},
158 {"type":"Text","value":" "},
159 {"type":"KeywordType","value":"string"},
160 {"type":"Operator","value":")"},
161 {"type":"Text","value":" "},
162 {"type":"Operator","value":"="},
163 {"type":"Text","value":"\n "},
164 {"type":"LiteralString","value":"\"\""},
165 {"type":"Text","value":"\n\n"},
166 {"type":"CommentSingle","value":"// **This comment isn't formatted**\n"},
167 {"type":"Text","value":"\n"},
168 {"type":"Comment","value":"(* Neither this one *)"},
169 {"type":"Text","value":"\n\n"},
170 {"type":"Keyword","value":"exception"},
171 {"type":"Text","value":" "},
172 {"type":"Name","value":"UndefinedValueException"},
173 {"type":"Text","value":" "},
174 {"type":"Keyword","value":"of"},
175 {"type":"Text","value":" "},
176 {"type":"KeywordType","value":"string"},
177 {"type":"Text","value":"\n\n"},
178 {"type":"Keyword","value":"type"},
179 {"type":"Text","value":" "},
180 {"type":"NameClass","value":"Alias"},
181 {"type":"Text","value":" "},
182 {"type":"Operator","value":"="},
183 {"type":"Text","value":" "},
184 {"type":"Name","value":"int"},
185 {"type":"Text","value":"\n\n"},
186 {"type":"Keyword","value":"type"},
187 {"type":"Text","value":" "},
188 {"type":"NameClass","value":"Alpha"},
189 {"type":"Text","value":" "},
190 {"type":"Operator","value":"="},
191 {"type":"Text","value":" "},
192 {"type":"Keyword","value":"class"},
193 {"type":"Text","value":" "},
194 {"type":"Keyword","value":"end"},
195 {"type":"Text","value":"\n\n"},
196 {"type":"Keyword","value":"type"},
197 {"type":"Text","value":" "},
198 {"type":"NameClass","value":"LightDU"},
199 {"type":"Text","value":" "},
200 {"type":"Operator","value":"="},
201 {"type":"Text","value":"\n "},
202 {"type":"Operator","value":"|"},
203 {"type":"Text","value":" "},
204 {"type":"Name","value":"CaseA"},
205 {"type":"Text","value":"\n "},
206 {"type":"Operator","value":"|"},
207 {"type":"Text","value":" "},
208 {"type":"Name","value":"CaseB"},
209 {"type":"Text","value":"\n\n"},
210 {"type":"Keyword","value":"type"},
211 {"type":"Text","value":" "},
212 {"type":"NameClass","value":"EgalNewLine"},
213 {"type":"Text","value":"\n "},
214 {"type":"Operator","value":"="},
215 {"type":"Text","value":" "},
216 {"type":"Name","value":"CaseA"},
217 {"type":"Text","value":"\n "},
218 {"type":"Operator","value":"|"},
219 {"type":"Text","value":" "},
220 {"type":"Name","value":"CaseB"},
221 {"type":"Text","value":"\n\n"},
222 {"type":"Keyword","value":"type"},
223 {"type":"Text","value":" "},
224 {"type":"NameClass","value":"Underscore_Name"},
225 {"type":"Text","value":" "},
226 {"type":"Operator","value":"="},
227 {"type":"Text","value":" "},
228 {"type":"Operator","value":"|"},
229 {"type":"Text","value":" "},
230 {"type":"Name","value":"Underscore_Name"},
231 {"type":"Text","value":" "},
232 {"type":"Keyword","value":"of"},
233 {"type":"Text","value":" "},
234 {"type":"KeywordType","value":"string"},
235 {"type":"Text","value":"\n\n"},
236 {"type":"Keyword","value":"let"},
237 {"type":"Text","value":" "},
238 {"type":"NameVariable","value":"i32"},
239 {"type":"Text","value":" "},
240 {"type":"Operator","value":"="},
241 {"type":"Text","value":" "},
242 {"type":"Name","value":"typeof"},
243 {"type":"Operator","value":"\u003c"},
244 {"type":"Name","value":"int"},
245 {"type":"Operator","value":"\u003e"},
246 {"type":"Text","value":"\n"},
247 {"type":"Keyword","value":"let"},
248 {"type":"Text","value":" "},
249 {"type":"NameVariable","value":"list"},
250 {"type":"Text","value":" "},
251 {"type":"Operator","value":"="},
252 {"type":"Text","value":" "},
253 {"type":"Name","value":"typedefof"},
254 {"type":"Operator","value":"\u003c_"},
255 {"type":"Text","value":" "},
256 {"type":"KeywordType","value":"list"},
257 {"type":"Operator","value":"\u003e"},
258 {"type":"Text","value":"\n\n"},
259 {"type":"Keyword","value":"type"},
260 {"type":"Text","value":" "},
261 {"type":"NameClass","value":"Accentué"},
262 {"type":"Text","value":" "},
263 {"type":"Operator","value":"="},
264 {"type":"Text","value":" "},
265 {"type":"Name","value":"int"},
266 {"type":"Text","value":"\n\n"},
267 {"type":"Keyword","value":"type"},
268 {"type":"Text","value":" "},
269 {"type":"NameClass","value":"Class1"},
270 {"type":"NameBuiltinPseudo","value":"()"},
271 {"type":"Text","value":" "},
272 {"type":"Operator","value":"="},
273 {"type":"Text","value":"\n "},
274 {"type":"Keyword","value":"member"},
275 {"type":"Text","value":" "},
276 {"type":"Name","value":"this"},
277 {"type":"Punctuation","value":"."},
278 {"type":"NameFunction","value":"X"},
279 {"type":"Text","value":" "},
280 {"type":"Operator","value":"="},
281 {"type":"Text","value":" "},
282 {"type":"LiteralString","value":"\"F#\""},
283 {"type":"Text","value":"\n\n"},
284 {"type":"CommentSingle","value":"// Check accessibility modifier coloring\n"},
285 {"type":"Keyword","value":"type"},
286 {"type":"Text","value":" "},
287 {"type":"NameClass","value":"R"},
288 {"type":"Text","value":" "},
289 {"type":"Operator","value":"="},
290 {"type":"Text","value":" "},
291 {"type":"Keyword","value":"private"},
292 {"type":"Text","value":" "},
293 {"type":"Operator","value":"{"},
294 {"type":"Text","value":" "},
295 {"type":"Name","value":"X"},
296 {"type":"Text","value":" "},
297 {"type":"Operator","value":":"},
298 {"type":"Text","value":" "},
299 {"type":"Name","value":"int"},
300 {"type":"Text","value":" "},
301 {"type":"Operator","value":"}"},
302 {"type":"Text","value":"\n"},
303 {"type":"Keyword","value":"type"},
304 {"type":"Text","value":" "},
305 {"type":"NameClass","value":"U"},
306 {"type":"Text","value":" "},
307 {"type":"Operator","value":"="},
308 {"type":"Text","value":" "},
309 {"type":"Keyword","value":"private"},
310 {"type":"Text","value":" "},
311 {"type":"Operator","value":"|"},
312 {"type":"Text","value":" "},
313 {"type":"Name","value":"X"},
314 {"type":"Text","value":" "},
315 {"type":"Keyword","value":"of"},
316 {"type":"Text","value":" "},
317 {"type":"Name","value":"int"},
318 {"type":"Text","value":"\n\n"},
319 {"type":"Keyword","value":"let"},
320 {"type":"Text","value":" "},
321 {"type":"NameVariable","value":"private"},
322 {"type":"Text","value":" "},
323 {"type":"Name","value":"getArgResults"},
324 {"type":"Operator","value":","},
325 {"type":"Text","value":" "},
326 {"type":"Keyword","value":"private"},
327 {"type":"Text","value":" "},
328 {"type":"Name","value":"removeArgResults"},
329 {"type":"Operator","value":","},
330 {"type":"Text","value":" "},
331 {"type":"Keyword","value":"private"},
332 {"type":"Text","value":" "},
333 {"type":"Name","value":"setArgResults"},
334 {"type":"Text","value":" "},
335 {"type":"Operator","value":"="},
336 {"type":"Text","value":" "},
337 {"type":"LiteralString","value":"\"\""},
338 {"type":"Operator","value":","},
339 {"type":"Text","value":" "},
340 {"type":"LiteralString","value":"\"\""},
341 {"type":"Operator","value":","},
342 {"type":"Text","value":" "},
343 {"type":"LiteralString","value":"\"\""},
344 {"type":"Text","value":"\n\n"},
345 {"type":"CommentSingle","value":"// Check builder detection (based on a whitelist)\n"},
346 {"type":"Keyword","value":"let"},
347 {"type":"Text","value":" "},
348 {"type":"NameVariable","value":"a"},
349 {"type":"Text","value":" "},
350 {"type":"Operator","value":"="},
351 {"type":"Text","value":" "},
352 {"type":"Name","value":"promise"},
353 {"type":"Text","value":" "},
354 {"type":"Operator","value":"{"},
355 {"type":"Text","value":" "},
356 {"type":"Operator","value":"}"},
357 {"type":"Text","value":"\n"},
358 {"type":"Keyword","value":"let"},
359 {"type":"Text","value":" "},
360 {"type":"NameVariable","value":"b"},
361 {"type":"Text","value":" "},
362 {"type":"Operator","value":"="},
363 {"type":"Text","value":" "},
364 {"type":"Name","value":"pipeline"},
365 {"type":"Text","value":" "},
366 {"type":"Operator","value":"{"},
367 {"type":"Text","value":" "},
368 {"type":"Operator","value":"}"},
369 {"type":"Text","value":"\n"},
370 {"type":"Keyword","value":"let"},
371 {"type":"Text","value":" "},
372 {"type":"NameVariable","value":"c"},
373 {"type":"Text","value":" "},
374 {"type":"Operator","value":"="},
375 {"type":"Text","value":" "},
376 {"type":"Name","value":"noColor"},
377 {"type":"Text","value":" "},
378 {"type":"Operator","value":"{"},
379 {"type":"Text","value":" "},
380 {"type":"Operator","value":"}"},
381 {"type":"Text","value":"\n\n"},
382 {"type":"CommentSingle","value":"// Check that known builder names aren't captured as builders when a\n// value name begins with one of them (e.g. `asyncResult`)\n// Also see ionide/ionide-vscode-fsharp#836\n"},
383 {"type":"Keyword","value":"let"},
384 {"type":"Text","value":" "},
385 {"type":"NameVariable","value":"d"},
386 {"type":"Text","value":" "},
387 {"type":"Operator","value":"="},
388 {"type":"Text","value":"\n "},
389 {"type":"Keyword","value":"let"},
390 {"type":"Text","value":" "},
391 {"type":"NameVariable","value":"asyncF"},
392 {"type":"Text","value":" "},
393 {"type":"Operator","value":"="},
394 {"type":"Text","value":" "},
395 {"type":"Name","value":"async"},
396 {"type":"Text","value":" "},
397 {"type":"Operator","value":"{"},
398 {"type":"Text","value":" "},
399 {"type":"Operator","value":"}"},
400 {"type":"Text","value":"\n "},
401 {"type":"Name","value":"asyncF"},
402 {"type":"Text","value":"\n\n"},
403 {"type":"CommentSingle","value":"// Whitespace between builder and opening brace is optional\n"},
404 {"type":"Keyword","value":"let"},
405 {"type":"Text","value":" "},
406 {"type":"NameVariable","value":"e"},
407 {"type":"Text","value":" "},
408 {"type":"Operator","value":"="},
409 {"type":"Text","value":" "},
410 {"type":"Name","value":"async"},
411 {"type":"Operator","value":"{"},
412 {"type":"Text","value":" "},
413 {"type":"Keyword","value":"return"},
414 {"type":"Text","value":" "},
415 {"type":"Name","value":"0"},
416 {"type":"Text","value":" "},
417 {"type":"Operator","value":"}"},
418 {"type":"Text","value":"\n\n"},
419 {"type":"Keyword","value":"type"},
420 {"type":"Text","value":" "},
421 {"type":"NameClass","value":"FancyClass"},
422 {"type":"Operator","value":"("},
423 {"type":"Name","value":"thing"},
424 {"type":"Operator","value":":"},
425 {"type":"Name","value":"int"},
426 {"type":"Operator","value":","},
427 {"type":"Text","value":" "},
428 {"type":"Name","value":"var2"},
429 {"type":"Text","value":" "},
430 {"type":"Operator","value":":"},
431 {"type":"Text","value":" "},
432 {"type":"KeywordType","value":"string"},
433 {"type":"Text","value":" "},
434 {"type":"Operator","value":"-\u003e"},
435 {"type":"Text","value":" "},
436 {"type":"KeywordType","value":"string"},
437 {"type":"Operator","value":","},
438 {"type":"Text","value":" "},
439 {"type":"Name","value":"``ddzdz``"},
440 {"type":"Operator","value":":"},
441 {"type":"Text","value":" "},
442 {"type":"KeywordType","value":"string"},
443 {"type":"Text","value":" "},
444 {"type":"KeywordType","value":"list"},
445 {"type":"Operator","value":","},
446 {"type":"Text","value":" "},
447 {"type":"Name","value":"extra"},
448 {"type":"Operator","value":")"},
449 {"type":"Text","value":" "},
450 {"type":"Keyword","value":"as"},
451 {"type":"Text","value":" "},
452 {"type":"Name","value":"xxx"},
453 {"type":"Text","value":" "},
454 {"type":"Operator","value":"="},
455 {"type":"Text","value":"\n\n "},
456 {"type":"Keyword","value":"let"},
457 {"type":"Text","value":" "},
458 {"type":"NameVariable","value":"pf"},
459 {"type":"NameBuiltinPseudo","value":"()"},
460 {"type":"Text","value":" "},
461 {"type":"Operator","value":"="},
462 {"type":"Text","value":" "},
463 {"type":"Name","value":"xxx"},
464 {"type":"Operator","value":"."},
465 {"type":"Name","value":"Test"},
466 {"type":"NameBuiltinPseudo","value":"()"},
467 {"type":"Text","value":"\n "},
468 {"type":"Keyword","value":"let"},
469 {"type":"Text","value":" "},
470 {"type":"NameVariable","value":"mutable"},
471 {"type":"Text","value":" "},
472 {"type":"Name","value":"myInternalValue"},
473 {"type":"Text","value":" "},
474 {"type":"Operator","value":"="},
475 {"type":"Text","value":" "},
476 {"type":"Keyword","value":"null"},
477 {"type":"Text","value":"\n\n "},
478 {"type":"Keyword","value":"member"},
479 {"type":"Text","value":" "},
480 {"type":"Name","value":"xxx"},
481 {"type":"Punctuation","value":"."},
482 {"type":"NameFunction","value":"Test"},
483 {"type":"NameBuiltinPseudo","value":"()"},
484 {"type":"Text","value":" "},
485 {"type":"Operator","value":"="},
486 {"type":"Text","value":" "},
487 {"type":"LiteralString","value":"\"F#\""},
488 {"type":"Text","value":"\n\n "},
489 {"type":"CommentSingle","value":"// A read-only property.\n"},
490 {"type":"Text","value":" "},
491 {"type":"Keyword","value":"member"},
492 {"type":"Text","value":" "},
493 {"type":"Name","value":"__"},
494 {"type":"Punctuation","value":"."},
495 {"type":"NameFunction","value":"MyReadOnlyProperty"},
496 {"type":"Text","value":" "},
497 {"type":"Operator","value":"="},
498 {"type":"Text","value":" "},
499 {"type":"Name","value":"myInternalValue"},
500 {"type":"Text","value":"\n "},
501 {"type":"CommentSingle","value":"// A write-only property.\n"},
502 {"type":"Text","value":" "},
503 {"type":"Keyword","value":"member"},
504 {"type":"Text","value":" "},
505 {"type":"Name","value":"__"},
506 {"type":"Punctuation","value":"."},
507 {"type":"NameFunction","value":"MyWriteOnlyProperty"},
508 {"type":"Text","value":" "},
509 {"type":"Keyword","value":"with"},
510 {"type":"Text","value":" "},
511 {"type":"Name","value":"set"},
512 {"type":"Text","value":" "},
513 {"type":"Operator","value":"("},
514 {"type":"Name","value":"value"},
515 {"type":"Operator","value":")"},
516 {"type":"Text","value":" "},
517 {"type":"Operator","value":"="},
518 {"type":"Text","value":" "},
519 {"type":"Name","value":"myInternalValue"},
520 {"type":"Text","value":" "},
521 {"type":"Operator","value":"\u003c-"},
522 {"type":"Text","value":" "},
523 {"type":"Name","value":"value"},
524 {"type":"Text","value":"\n "},
525 {"type":"CommentSingle","value":"// A read-write property.\n"},
526 {"type":"Text","value":" "},
527 {"type":"Keyword","value":"member"},
528 {"type":"Text","value":" "},
529 {"type":"Name","value":"__"},
530 {"type":"Punctuation","value":"."},
531 {"type":"NameFunction","value":"MyReadWriteProperty"},
532 {"type":"Text","value":"\n "},
533 {"type":"Keyword","value":"with"},
534 {"type":"Text","value":" "},
535 {"type":"Name","value":"get"},
536 {"type":"Text","value":" "},
537 {"type":"NameBuiltinPseudo","value":"()"},
538 {"type":"Text","value":" "},
539 {"type":"Operator","value":"="},
540 {"type":"Text","value":" "},
541 {"type":"Name","value":"myInternalValue"},
542 {"type":"Text","value":"\n "},
543 {"type":"OperatorWord","value":"and"},
544 {"type":"Text","value":" "},
545 {"type":"Name","value":"set"},
546 {"type":"Text","value":" "},
547 {"type":"Operator","value":"("},
548 {"type":"Name","value":"value"},
549 {"type":"Operator","value":")"},
550 {"type":"Text","value":" "},
551 {"type":"Operator","value":"="},
552 {"type":"Text","value":" "},
553 {"type":"Name","value":"myInternalValue"},
554 {"type":"Text","value":" "},
555 {"type":"Operator","value":"\u003c-"},
556 {"type":"Text","value":" "},
557 {"type":"Name","value":"value"},
558 {"type":"Text","value":"\n\n "},
559 {"type":"Keyword","value":"member"},
560 {"type":"Text","value":" "},
561 {"type":"Name","value":"__"},
562 {"type":"Punctuation","value":"."},
563 {"type":"NameFunction","value":"ReadAndWriteWithSignature"},
564 {"type":"Text","value":"\n "},
565 {"type":"Keyword","value":"with"},
566 {"type":"Text","value":" "},
567 {"type":"Name","value":"get"},
568 {"type":"Text","value":" "},
569 {"type":"Operator","value":"("},
570 {"type":"Name","value":"count"},
571 {"type":"Text","value":" "},
572 {"type":"Operator","value":":"},
573 {"type":"Text","value":" "},
574 {"type":"Name","value":"int"},
575 {"type":"Operator","value":")"},
576 {"type":"Text","value":" "},
577 {"type":"Operator","value":":"},
578 {"type":"Text","value":" "},
579 {"type":"KeywordType","value":"string"},
580 {"type":"Text","value":" "},
581 {"type":"Operator","value":"="},
582 {"type":"Text","value":" "},
583 {"type":"KeywordType","value":"string"},
584 {"type":"Text","value":" "},
585 {"type":"Name","value":"count"},
586 {"type":"Text","value":"\n "},
587 {"type":"OperatorWord","value":"and"},
588 {"type":"Text","value":" "},
589 {"type":"Name","value":"set"},
590 {"type":"Text","value":" "},
591 {"type":"Operator","value":"("},
592 {"type":"Name","value":"value"},
593 {"type":"Text","value":" "},
594 {"type":"Operator","value":":"},
595 {"type":"Text","value":" "},
596 {"type":"Name","value":"int"},
597 {"type":"Operator","value":")"},
598 {"type":"Text","value":" "},
599 {"type":"Operator","value":":"},
600 {"type":"Text","value":" "},
601 {"type":"KeywordType","value":"unit"},
602 {"type":"Text","value":" "},
603 {"type":"Operator","value":"="},
604 {"type":"Text","value":" "},
605 {"type":"Name","value":"failwith"},
606 {"type":"Text","value":" "},
607 {"type":"LiteralString","value":"\"\""},
608 {"type":"Text","value":"\n\n "},
609 {"type":"Keyword","value":"member"},
610 {"type":"Text","value":" "},
611 {"type":"Name","value":"__"},
612 {"type":"Punctuation","value":"."},
613 {"type":"NameFunction","value":"MyReadWriteProperty"},
614 {"type":"Text","value":" "},
615 {"type":"Keyword","value":"with"},
616 {"type":"Text","value":" "},
617 {"type":"Name","value":"get"},
618 {"type":"Text","value":" "},
619 {"type":"NameBuiltinPseudo","value":"()"},
620 {"type":"Text","value":" "},
621 {"type":"Operator","value":"="},
622 {"type":"Text","value":" "},
623 {"type":"Name","value":"myInternalValue"},
624 {"type":"Text","value":"\n "},
625 {"type":"Keyword","value":"member"},
626 {"type":"Text","value":" "},
627 {"type":"Name","value":"__"},
628 {"type":"Punctuation","value":"."},
629 {"type":"NameFunction","value":"MyReadWriteProperty"},
630 {"type":"Text","value":" "},
631 {"type":"Keyword","value":"with"},
632 {"type":"Text","value":" "},
633 {"type":"Name","value":"set"},
634 {"type":"Text","value":" "},
635 {"type":"Operator","value":"("},
636 {"type":"Name","value":"value"},
637 {"type":"Operator","value":")"},
638 {"type":"Text","value":" "},
639 {"type":"Operator","value":"="},
640 {"type":"Text","value":" "},
641 {"type":"Name","value":"myInternalValue"},
642 {"type":"Text","value":" "},
643 {"type":"Operator","value":"\u003c-"},
644 {"type":"Text","value":" "},
645 {"type":"Name","value":"value"},
646 {"type":"Text","value":"\n\n "},
647 {"type":"Keyword","value":"abstract"},
648 {"type":"Text","value":" "},
649 {"type":"Name","value":"Update"},
650 {"type":"Text","value":" "},
651 {"type":"Operator","value":":"},
652 {"type":"Text","value":" "},
653 {"type":"Name","value":"int"},
654 {"type":"Text","value":" "},
655 {"type":"Operator","value":"*"},
656 {"type":"Text","value":" "},
657 {"type":"KeywordType","value":"string"},
658 {"type":"Text","value":" "},
659 {"type":"Operator","value":"*"},
660 {"type":"Text","value":" "},
661 {"type":"KeywordType","value":"string"},
662 {"type":"Text","value":" "},
663 {"type":"Name","value":"option"},
664 {"type":"Text","value":" "},
665 {"type":"Operator","value":"*"},
666 {"type":"Text","value":" "},
667 {"type":"KeywordType","value":"obj"},
668 {"type":"Text","value":" "},
669 {"type":"Operator","value":"-\u003e"},
670 {"type":"Text","value":" "},
671 {"type":"Name","value":"FancyClass"},
672 {"type":"Text","value":"\n "},
673 {"type":"Keyword","value":"default"},
674 {"type":"Text","value":" "},
675 {"type":"Name","value":"this"},
676 {"type":"Operator","value":"."},
677 {"type":"Name","value":"Update"},
678 {"type":"Text","value":" "},
679 {"type":"Operator","value":"("},
680 {"type":"Name","value":"thing"},
681 {"type":"Operator","value":":"},
682 {"type":"Name","value":"int"},
683 {"type":"Operator","value":","},
684 {"type":"Text","value":" "},
685 {"type":"Name","value":"var2"},
686 {"type":"Text","value":" "},
687 {"type":"Operator","value":":"},
688 {"type":"Text","value":" "},
689 {"type":"KeywordType","value":"string"},
690 {"type":"Operator","value":","},
691 {"type":"Text","value":" "},
692 {"type":"Name","value":"``name withh spaces``"},
693 {"type":"Operator","value":":"},
694 {"type":"Text","value":" "},
695 {"type":"KeywordType","value":"string"},
696 {"type":"Text","value":" "},
697 {"type":"Name","value":"option"},
698 {"type":"Operator","value":","},
699 {"type":"Text","value":" "},
700 {"type":"Name","value":"extra"},
701 {"type":"Operator","value":")"},
702 {"type":"Text","value":" "},
703 {"type":"Operator","value":"="},
704 {"type":"Text","value":" "},
705 {"type":"Name","value":"this"},
706 {"type":"Text","value":"\n\n "},
707 {"type":"Keyword","value":"member"},
708 {"type":"Text","value":" "},
709 {"type":"Keyword","value":"val"},
710 {"type":"Text","value":" "},
711 {"type":"Name","value":"Property1"},
712 {"type":"Text","value":" "},
713 {"type":"Operator","value":"="},
714 {"type":"Text","value":" "},
715 {"type":"Name","value":"thing"},
716 {"type":"Text","value":"\n "},
717 {"type":"Keyword","value":"member"},
718 {"type":"Text","value":" "},
719 {"type":"Keyword","value":"val"},
720 {"type":"Text","value":" "},
721 {"type":"Name","value":"Property2"},
722 {"type":"Text","value":" "},
723 {"type":"Operator","value":"="},
724 {"type":"Text","value":" "},
725 {"type":"LiteralString","value":"\"\""},
726 {"type":"Text","value":" "},
727 {"type":"Keyword","value":"with"},
728 {"type":"Text","value":" "},
729 {"type":"Name","value":"get"},
730 {"type":"Operator","value":","},
731 {"type":"Text","value":" "},
732 {"type":"Name","value":"set"},
733 {"type":"Text","value":"\n\n "},
734 {"type":"LiteralStringDoc","value":"/// The typo in withh is intentional, because with is one of the `end` possibility\n"},
735 {"type":"Text","value":" "},
736 {"type":"LiteralStringDoc","value":"/// We consider it ok, because there is a low chance that a person will use `with` in a quoted variable\n"},
737 {"type":"Text","value":" "},
738 {"type":"Keyword","value":"member"},
739 {"type":"Text","value":" "},
740 {"type":"Name","value":"__"},
741 {"type":"Punctuation","value":"."},
742 {"type":"NameFunction","value":"Test2"},
743 {"type":"Operator","value":"("},
744 {"type":"Name","value":"thing"},
745 {"type":"Operator","value":":"},
746 {"type":"Name","value":"int"},
747 {"type":"Operator","value":","},
748 {"type":"Text","value":" "},
749 {"type":"Name","value":"var2"},
750 {"type":"Text","value":" "},
751 {"type":"Operator","value":":"},
752 {"type":"Text","value":" "},
753 {"type":"KeywordType","value":"string"},
754 {"type":"Operator","value":","},
755 {"type":"Text","value":" "},
756 {"type":"Name","value":"``name withh spaces``"},
757 {"type":"Operator","value":":"},
758 {"type":"Text","value":" "},
759 {"type":"KeywordType","value":"string"},
760 {"type":"Text","value":" "},
761 {"type":"Name","value":"option"},
762 {"type":"Operator","value":","},
763 {"type":"Text","value":" "},
764 {"type":"Name","value":"extra"},
765 {"type":"Operator","value":")"},
766 {"type":"Text","value":" "},
767 {"type":"Operator","value":"="},
768 {"type":"Text","value":" "},
769 {"type":"LiteralString","value":"\"\""},
770 {"type":"Text","value":"\n\n "},
771 {"type":"Keyword","value":"static"},
772 {"type":"Text","value":" "},
773 {"type":"Keyword","value":"member"},
774 {"type":"Text","value":" "},
775 {"type":"Operator","value":"(\u003e)"},
776 {"type":"Text","value":" "},
777 {"type":"Operator","value":"("},
778 {"type":"Name","value":"v1"},
779 {"type":"Text","value":" "},
780 {"type":"Operator","value":":"},
781 {"type":"Text","value":" "},
782 {"type":"Name","value":"int"},
783 {"type":"Operator","value":","},
784 {"type":"Text","value":" "},
785 {"type":"Name","value":"v2"},
786 {"type":"Text","value":" "},
787 {"type":"Operator","value":":"},
788 {"type":"Text","value":" "},
789 {"type":"Name","value":"int"},
790 {"type":"Operator","value":")"},
791 {"type":"Text","value":" "},
792 {"type":"Operator","value":"="},
793 {"type":"Text","value":" "},
794 {"type":"Name","value":"v1"},
795 {"type":"Text","value":" "},
796 {"type":"Operator","value":"\u003e"},
797 {"type":"Text","value":" "},
798 {"type":"Name","value":"v2"},
799 {"type":"Text","value":"\n "},
800 {"type":"Keyword","value":"static"},
801 {"type":"Text","value":" "},
802 {"type":"Keyword","value":"member"},
803 {"type":"Text","value":" "},
804 {"type":"Operator","value":"(\u003c)"},
805 {"type":"Text","value":" "},
806 {"type":"Operator","value":"("},
807 {"type":"Name","value":"v1"},
808 {"type":"Text","value":" "},
809 {"type":"Operator","value":":"},
810 {"type":"Text","value":" "},
811 {"type":"Name","value":"int"},
812 {"type":"Operator","value":","},
813 {"type":"Text","value":" "},
814 {"type":"Name","value":"v2"},
815 {"type":"Text","value":" "},
816 {"type":"Operator","value":":"},
817 {"type":"Text","value":" "},
818 {"type":"Name","value":"int"},
819 {"type":"Operator","value":")"},
820 {"type":"Text","value":" "},
821 {"type":"Operator","value":"="},
822 {"type":"Text","value":" "},
823 {"type":"Name","value":"v2"},
824 {"type":"Text","value":" "},
825 {"type":"Operator","value":"\u003c"},
826 {"type":"Text","value":" "},
827 {"type":"Name","value":"v2"},
828 {"type":"Text","value":"\n "},
829 {"type":"Keyword","value":"static"},
830 {"type":"Text","value":" "},
831 {"type":"Keyword","value":"member"},
832 {"type":"Text","value":" "},
833 {"type":"Operator","value":"(\u003c"},
834 {"type":"Text","value":" "},
835 {"type":"Operator","value":")"},
836 {"type":"Text","value":" "},
837 {"type":"Operator","value":"("},
838 {"type":"Name","value":"v1"},
839 {"type":"Text","value":" "},
840 {"type":"Operator","value":":"},
841 {"type":"Text","value":" "},
842 {"type":"Name","value":"int"},
843 {"type":"Operator","value":","},
844 {"type":"Text","value":" "},
845 {"type":"Name","value":"v2"},
846 {"type":"Text","value":" "},
847 {"type":"Operator","value":":"},
848 {"type":"Text","value":" "},
849 {"type":"Name","value":"int"},
850 {"type":"Operator","value":")"},
851 {"type":"Text","value":" "},
852 {"type":"Operator","value":"="},
853 {"type":"Text","value":" "},
854 {"type":"Name","value":"v2"},
855 {"type":"Text","value":" "},
856 {"type":"Operator","value":"\u003c"},
857 {"type":"Text","value":" "},
858 {"type":"Name","value":"v2"},
859 {"type":"Text","value":"\n "},
860 {"type":"Keyword","value":"static"},
861 {"type":"Text","value":" "},
862 {"type":"Keyword","value":"member"},
863 {"type":"Text","value":" "},
864 {"type":"Operator","value":"(\u003c|\u003e)"},
865 {"type":"Text","value":" "},
866 {"type":"Operator","value":"("},
867 {"type":"Name","value":"v1"},
868 {"type":"Text","value":" "},
869 {"type":"Operator","value":":"},
870 {"type":"Text","value":" "},
871 {"type":"Name","value":"int"},
872 {"type":"Operator","value":","},
873 {"type":"Text","value":" "},
874 {"type":"Name","value":"v2"},
875 {"type":"Text","value":" "},
876 {"type":"Operator","value":":"},
877 {"type":"Text","value":" "},
878 {"type":"Name","value":"int"},
879 {"type":"Operator","value":")"},
880 {"type":"Text","value":" "},
881 {"type":"Operator","value":"="},
882 {"type":"Text","value":" "},
883 {"type":"Name","value":"v2"},
884 {"type":"Text","value":" "},
885 {"type":"Operator","value":"\u003c"},
886 {"type":"Text","value":" "},
887 {"type":"Name","value":"v2"},
888 {"type":"Text","value":"\n\n"},
889 {"type":"Keyword","value":"let"},
890 {"type":"Text","value":" "},
891 {"type":"NameVariable","value":"inline"},
892 {"type":"Text","value":" "},
893 {"type":"Keyword","value":"internal"},
894 {"type":"Text","value":" "},
895 {"type":"Operator","value":"(\u003c)"},
896 {"type":"Text","value":" "},
897 {"type":"Operator","value":"("},
898 {"type":"Name","value":"x"},
899 {"type":"Text","value":" "},
900 {"type":"Operator","value":":"},
901 {"type":"Text","value":" "},
902 {"type":"Name","value":"int"},
903 {"type":"Operator","value":")"},
904 {"type":"Text","value":" "},
905 {"type":"Name","value":"ys"},
906 {"type":"Text","value":" "},
907 {"type":"Operator","value":"="},
908 {"type":"Text","value":" "},
909 {"type":"Name","value":"x"},
910 {"type":"Text","value":" "},
911 {"type":"Operator","value":"+"},
912 {"type":"Text","value":" "},
913 {"type":"Name","value":"ys"},
914 {"type":"Text","value":"\n"},
915 {"type":"Keyword","value":"let"},
916 {"type":"Text","value":" "},
917 {"type":"Operator","value":"(\u003c"},
918 {"type":"Text","value":" "},
919 {"type":"Operator","value":")"},
920 {"type":"Text","value":" "},
921 {"type":"Operator","value":"("},
922 {"type":"Name","value":"x"},
923 {"type":"Text","value":" "},
924 {"type":"Operator","value":":"},
925 {"type":"Text","value":" "},
926 {"type":"Name","value":"int"},
927 {"type":"Operator","value":")"},
928 {"type":"Text","value":" "},
929 {"type":"Name","value":"ys"},
930 {"type":"Text","value":" "},
931 {"type":"Operator","value":"="},
932 {"type":"Text","value":" "},
933 {"type":"Name","value":"x"},
934 {"type":"Text","value":" "},
935 {"type":"Operator","value":"+"},
936 {"type":"Text","value":" "},
937 {"type":"Name","value":"ys"},
938 {"type":"Text","value":"\n"},
939 {"type":"Keyword","value":"let"},
940 {"type":"Text","value":" "},
941 {"type":"Operator","value":"(\u003c\u003c.)"},
942 {"type":"Text","value":" "},
943 {"type":"Name","value":"a"},
944 {"type":"Text","value":" "},
945 {"type":"Operator","value":"="},
946 {"type":"Text","value":" "},
947 {"type":"Name","value":"1"},
948 {"type":"Text","value":"\n"},
949 {"type":"Keyword","value":"let"},
950 {"type":"Text","value":" "},
951 {"type":"NameVariable","value":"inline"},
952 {"type":"Text","value":" "},
953 {"type":"Keyword","value":"internal"},
954 {"type":"Text","value":" "},
955 {"type":"Operator","value":"(\u003c==)"},
956 {"type":"Text","value":" "},
957 {"type":"Operator","value":"("},
958 {"type":"Name","value":"x"},
959 {"type":"Text","value":" "},
960 {"type":"Operator","value":":"},
961 {"type":"Text","value":" "},
962 {"type":"Name","value":"int"},
963 {"type":"Operator","value":")"},
964 {"type":"Text","value":" "},
965 {"type":"Name","value":"ys"},
966 {"type":"Text","value":" "},
967 {"type":"Operator","value":"="},
968 {"type":"Text","value":" "},
969 {"type":"Name","value":"x"},
970 {"type":"Text","value":" "},
971 {"type":"Operator","value":"+"},
972 {"type":"Text","value":" "},
973 {"type":"Name","value":"ys"},
974 {"type":"Text","value":"\n"},
975 {"type":"Keyword","value":"let"},
976 {"type":"Text","value":" "},
977 {"type":"NameVariable","value":"inline"},
978 {"type":"Text","value":" "},
979 {"type":"Keyword","value":"internal"},
980 {"type":"Text","value":" "},
981 {"type":"Operator","value":"(\u003c==)"},
982 {"type":"Text","value":" "},
983 {"type":"Name","value":"x"},
984 {"type":"Text","value":" "},
985 {"type":"Name","value":"ys"},
986 {"type":"Text","value":" "},
987 {"type":"Operator","value":"="},
988 {"type":"Text","value":" "},
989 {"type":"Name","value":"x"},
990 {"type":"Text","value":" "},
991 {"type":"Operator","value":"+"},
992 {"type":"Text","value":" "},
993 {"type":"Name","value":"ys"},
994 {"type":"Text","value":"\n\n"},
995 {"type":"CommentSingle","value":"// Check that this `get` and `set` methods are not messing the colourisation\n"},
996 {"type":"Keyword","value":"let"},
997 {"type":"Text","value":" "},
998 {"type":"NameVariable","value":"get"},
999 {"type":"Text","value":" "},
1000 {"type":"Operator","value":"="},
1001 {"type":"Text","value":" "},
1002 {"type":"Name","value":"ignore"},
1003 {"type":"Text","value":"\n"},
1004 {"type":"Name","value":"get"},
1005 {"type":"Text","value":" "},
1006 {"type":"Operator","value":"("},
1007 {"type":"LiteralString","value":"\"maxime\""},
1008 {"type":"Operator","value":")"},
1009 {"type":"Text","value":"\n"},
1010 {"type":"Keyword","value":"let"},
1011 {"type":"Text","value":" "},
1012 {"type":"NameVariable","value":"set"},
1013 {"type":"Text","value":" "},
1014 {"type":"Operator","value":"="},
1015 {"type":"Text","value":" "},
1016 {"type":"Name","value":"ignore"},
1017 {"type":"Text","value":"\n"},
1018 {"type":"Name","value":"set"},
1019 {"type":"Operator","value":"("},
1020 {"type":"LiteralString","value":"\"maxime\""},
1021 {"type":"Operator","value":")"},
1022 {"type":"Text","value":"\n\n"},
1023 {"type":"CommentSingle","value":"// Arrow should be colored as a keyword and int as type definition\n"},
1024 {"type":"Keyword","value":"let"},
1025 {"type":"Text","value":" "},
1026 {"type":"NameVariable","value":"exec"},
1027 {"type":"Text","value":" "},
1028 {"type":"Operator","value":"("},
1029 {"type":"Name","value":"buildOptions"},
1030 {"type":"Operator","value":":"},
1031 {"type":"Text","value":" "},
1032 {"type":"Name","value":"int"},
1033 {"type":"Text","value":" "},
1034 {"type":"Operator","value":"-\u003e"},
1035 {"type":"Text","value":" "},
1036 {"type":"Name","value":"int"},
1037 {"type":"Text","value":" "},
1038 {"type":"Operator","value":"-\u003e"},
1039 {"type":"Text","value":" "},
1040 {"type":"Name","value":"int"},
1041 {"type":"Text","value":" "},
1042 {"type":"Operator","value":"-\u003e"},
1043 {"type":"Text","value":" "},
1044 {"type":"Name","value":"int"},
1045 {"type":"Operator","value":")"},
1046 {"type":"Text","value":" "},
1047 {"type":"Name","value":"args"},
1048 {"type":"Text","value":" "},
1049 {"type":"Operator","value":"="},
1050 {"type":"Text","value":" "},
1051 {"type":"LiteralString","value":"\"\""},
1052 {"type":"Text","value":"\n\n"},
1053 {"type":"CommentSingle","value":"// This line is to check that member_declaration isn't propagate output of declaration scopes\n"},
1054 {"type":"Keyword","value":"let"},
1055 {"type":"Text","value":" "},
1056 {"type":"NameVariable","value":"p"},
1057 {"type":"Text","value":" "},
1058 {"type":"Name","value":"value"},
1059 {"type":"Text","value":" "},
1060 {"type":"Operator","value":"="},
1061 {"type":"Text","value":" "},
1062 {"type":"NameNamespace","value":"System"},
1063 {"type":"Punctuation","value":"."},
1064 {"type":"NameNamespace","value":"Int32"},
1065 {"type":"Punctuation","value":"."},
1066 {"type":"Name","value":"Parse"},
1067 {"type":"Operator","value":"("},
1068 {"type":"Name","value":"value"},
1069 {"type":"Operator","value":")"},
1070 {"type":"Text","value":"\n\n"},
1071 {"type":"Keyword","value":"type"},
1072 {"type":"Text","value":" "},
1073 {"type":"NameClass","value":"TestGeneric"},
1074 {"type":"Operator","value":"\u003c"},
1075 {"type":"Keyword","value":"'"},
1076 {"type":"Name","value":"arg"},
1077 {"type":"Operator","value":","},
1078 {"type":"Text","value":" "},
1079 {"type":"Keyword","value":"'"},
1080 {"type":"Name","value":"model"},
1081 {"type":"Operator","value":","},
1082 {"type":"Text","value":" "},
1083 {"type":"Keyword","value":"'"},
1084 {"type":"Name","value":"msg"},
1085 {"type":"Operator","value":","},
1086 {"type":"Text","value":" "},
1087 {"type":"Keyword","value":"'"},
1088 {"type":"Name","value":"view"},
1089 {"type":"Operator","value":"\u003e"},
1090 {"type":"Text","value":" "},
1091 {"type":"Keyword","value":"private"},
1092 {"type":"Text","value":" "},
1093 {"type":"Comment","value":"(*comments test*)"},
1094 {"type":"Text","value":" "},
1095 {"type":"Operator","value":"("},
1096 {"type":"Name","value":"a"},
1097 {"type":"Operator","value":":"},
1098 {"type":"Text","value":" "},
1099 {"type":"Keyword","value":"'"},
1100 {"type":"Name","value":"arg"},
1101 {"type":"Operator","value":","},
1102 {"type":"Text","value":" "},
1103 {"type":"Name","value":"model"},
1104 {"type":"Operator","value":":"},
1105 {"type":"Text","value":" "},
1106 {"type":"Keyword","value":"'"},
1107 {"type":"Name","value":"model"},
1108 {"type":"Operator","value":","},
1109 {"type":"Text","value":" "},
1110 {"type":"Name","value":"msg"},
1111 {"type":"Operator","value":":"},
1112 {"type":"Text","value":" "},
1113 {"type":"Keyword","value":"'"},
1114 {"type":"Name","value":"msg"},
1115 {"type":"Operator","value":","},
1116 {"type":"Text","value":" "},
1117 {"type":"Name","value":"view"},
1118 {"type":"Operator","value":":"},
1119 {"type":"Text","value":" "},
1120 {"type":"Keyword","value":"'"},
1121 {"type":"Name","value":"view"},
1122 {"type":"Operator","value":","},
1123 {"type":"Text","value":" "},
1124 {"type":"Name","value":"notify"},
1125 {"type":"Text","value":" "},
1126 {"type":"Operator","value":":"},
1127 {"type":"Text","value":" "},
1128 {"type":"KeywordType","value":"string"},
1129 {"type":"Text","value":" "},
1130 {"type":"Operator","value":"-\u003e"},
1131 {"type":"Text","value":" "},
1132 {"type":"KeywordType","value":"unit"},
1133 {"type":"Text","value":" "},
1134 {"type":"Operator","value":")"},
1135 {"type":"Text","value":" "},
1136 {"type":"Keyword","value":"as"},
1137 {"type":"Text","value":" "},
1138 {"type":"Name","value":"xxx"},
1139 {"type":"Text","value":" "},
1140 {"type":"Operator","value":"="},
1141 {"type":"Text","value":"\n "},
1142 {"type":"Keyword","value":"class"},
1143 {"type":"Text","value":" "},
1144 {"type":"Keyword","value":"end"},
1145 {"type":"Text","value":"\n\n"},
1146 {"type":"Keyword","value":"type"},
1147 {"type":"Text","value":" "},
1148 {"type":"Name","value":"``Program with spaces``"},
1149 {"type":"Operator","value":"\u003c"},
1150 {"type":"Keyword","value":"'"},
1151 {"type":"Name","value":"arg"},
1152 {"type":"Operator","value":","},
1153 {"type":"Text","value":" "},
1154 {"type":"Keyword","value":"'"},
1155 {"type":"Name","value":"model"},
1156 {"type":"Operator","value":","},
1157 {"type":"Text","value":" "},
1158 {"type":"Keyword","value":"'"},
1159 {"type":"Name","value":"msg"},
1160 {"type":"Operator","value":","},
1161 {"type":"Text","value":" "},
1162 {"type":"Keyword","value":"'"},
1163 {"type":"Name","value":"view"},
1164 {"type":"Operator","value":"\u003e"},
1165 {"type":"Text","value":" "},
1166 {"type":"Operator","value":"="},
1167 {"type":"Text","value":"\n "},
1168 {"type":"Keyword","value":"class"},
1169 {"type":"Text","value":" "},
1170 {"type":"Keyword","value":"end"},
1171 {"type":"Text","value":"\n\n"},
1172 {"type":"Keyword","value":"type"},
1173 {"type":"Text","value":" "},
1174 {"type":"NameClass","value":"Program"},
1175 {"type":"Operator","value":"\u003c"},
1176 {"type":"Keyword","value":"'"},
1177 {"type":"Name","value":"arg"},
1178 {"type":"Operator","value":","},
1179 {"type":"Text","value":" "},
1180 {"type":"Keyword","value":"'"},
1181 {"type":"Name","value":"model"},
1182 {"type":"Operator","value":","},
1183 {"type":"Text","value":" "},
1184 {"type":"Keyword","value":"'"},
1185 {"type":"Name","value":"msg"},
1186 {"type":"Operator","value":","},
1187 {"type":"Text","value":" "},
1188 {"type":"Keyword","value":"'"},
1189 {"type":"Name","value":"view"},
1190 {"type":"Operator","value":"\u003e"},
1191 {"type":"Text","value":" "},
1192 {"type":"Operator","value":"="},
1193 {"type":"Text","value":"\n "},
1194 {"type":"Operator","value":"{"},
1195 {"type":"Text","value":" "},
1196 {"type":"Name","value":"Arg"},
1197 {"type":"Text","value":" "},
1198 {"type":"Operator","value":":"},
1199 {"type":"Text","value":" "},
1200 {"type":"Keyword","value":"'"},
1201 {"type":"Name","value":"arg"},
1202 {"type":"Text","value":"\n "},
1203 {"type":"Name","value":"Model"},
1204 {"type":"Text","value":" "},
1205 {"type":"Operator","value":":"},
1206 {"type":"Text","value":" "},
1207 {"type":"Keyword","value":"'"},
1208 {"type":"Name","value":"model"},
1209 {"type":"Text","value":"\n "},
1210 {"type":"Name","value":"Msg"},
1211 {"type":"Text","value":" "},
1212 {"type":"Operator","value":":"},
1213 {"type":"Text","value":" "},
1214 {"type":"Keyword","value":"'"},
1215 {"type":"Name","value":"msg"},
1216 {"type":"Text","value":"\n "},
1217 {"type":"Name","value":"View"},
1218 {"type":"Text","value":" "},
1219 {"type":"Operator","value":":"},
1220 {"type":"Text","value":" "},
1221 {"type":"Keyword","value":"'"},
1222 {"type":"Name","value":"view"},
1223 {"type":"Text","value":" "},
1224 {"type":"Operator","value":"}"},
1225 {"type":"Text","value":"\n\n\n"},
1226 {"type":"Keyword","value":"type"},
1227 {"type":"Text","value":" "},
1228 {"type":"NameClass","value":"Decoder"},
1229 {"type":"Operator","value":"\u003c"},
1230 {"type":"Keyword","value":"'"},
1231 {"type":"Name","value":"a"},
1232 {"type":"Operator","value":"\u003e"},
1233 {"type":"Text","value":" "},
1234 {"type":"Operator","value":"="},
1235 {"type":"Text","value":"\n "},
1236 {"type":"Keyword","value":"class"},
1237 {"type":"Text","value":" "},
1238 {"type":"Keyword","value":"end"},
1239 {"type":"Text","value":"\n\n"},
1240 {"type":"Keyword","value":"let"},
1241 {"type":"Text","value":" "},
1242 {"type":"NameVariable","value":"keyValuePairs"},
1243 {"type":"Text","value":" "},
1244 {"type":"Operator","value":"("},
1245 {"type":"Name","value":"decoder"},
1246 {"type":"Text","value":" "},
1247 {"type":"Operator","value":":"},
1248 {"type":"Text","value":" "},
1249 {"type":"Name","value":"Decoder"},
1250 {"type":"Operator","value":"\u003c"},
1251 {"type":"Keyword","value":"'"},
1252 {"type":"Name","value":"value"},
1253 {"type":"Operator","value":"\u003e)"},
1254 {"type":"Text","value":" "},
1255 {"type":"Operator","value":":"},
1256 {"type":"Text","value":" "},
1257 {"type":"Name","value":"Decoder"},
1258 {"type":"Operator","value":"\u003c("},
1259 {"type":"KeywordType","value":"string"},
1260 {"type":"Text","value":" "},
1261 {"type":"Operator","value":"*"},
1262 {"type":"Text","value":" "},
1263 {"type":"Keyword","value":"'"},
1264 {"type":"Name","value":"value"},
1265 {"type":"Operator","value":")"},
1266 {"type":"Text","value":" "},
1267 {"type":"KeywordType","value":"list"},
1268 {"type":"Operator","value":"\u003e"},
1269 {"type":"Text","value":" "},
1270 {"type":"Operator","value":"="},
1271 {"type":"Text","value":" "},
1272 {"type":"Name","value":"failwith"},
1273 {"type":"Text","value":" "},
1274 {"type":"LiteralString","value":"\"\""},
1275 {"type":"Text","value":"\n"},
1276 {"type":"Keyword","value":"let"},
1277 {"type":"Text","value":" "},
1278 {"type":"NameVariable","value":"keyValuePairs"},
1279 {"type":"Text","value":" "},
1280 {"type":"Operator","value":"("},
1281 {"type":"Name","value":"decoder"},
1282 {"type":"Text","value":" "},
1283 {"type":"Operator","value":":"},
1284 {"type":"Text","value":" "},
1285 {"type":"Name","value":"Decoder"},
1286 {"type":"Operator","value":"\u003c"},
1287 {"type":"Keyword","value":"'"},
1288 {"type":"Name","value":"value"},
1289 {"type":"Operator","value":"\u003e)"},
1290 {"type":"Text","value":" "},
1291 {"type":"Operator","value":":"},
1292 {"type":"Text","value":" "},
1293 {"type":"Name","value":"Decoder"},
1294 {"type":"Operator","value":"\u003c("},
1295 {"type":"KeywordType","value":"string"},
1296 {"type":"Text","value":" "},
1297 {"type":"Operator","value":"*"},
1298 {"type":"Text","value":" "},
1299 {"type":"Keyword","value":"'"},
1300 {"type":"Name","value":"value"},
1301 {"type":"Operator","value":")"},
1302 {"type":"Text","value":" "},
1303 {"type":"KeywordType","value":"list"},
1304 {"type":"Text","value":" "},
1305 {"type":"Operator","value":"-\u003e"},
1306 {"type":"Text","value":" "},
1307 {"type":"KeywordType","value":"obj"},
1308 {"type":"Operator","value":"\u003e"},
1309 {"type":"Text","value":" "},
1310 {"type":"Operator","value":"="},
1311 {"type":"Text","value":" "},
1312 {"type":"Name","value":"failwith"},
1313 {"type":"Text","value":" "},
1314 {"type":"LiteralString","value":"\"\""},
1315 {"type":"Text","value":"\n"},
1316 {"type":"Keyword","value":"let"},
1317 {"type":"Text","value":" "},
1318 {"type":"NameVariable","value":"tuple2"},
1319 {"type":"Text","value":" "},
1320 {"type":"Operator","value":"("},
1321 {"type":"Name","value":"decoder1"},
1322 {"type":"Operator","value":":"},
1323 {"type":"Text","value":" "},
1324 {"type":"Name","value":"Decoder"},
1325 {"type":"Operator","value":"\u003c"},
1326 {"type":"Keyword","value":"'"},
1327 {"type":"Name","value":"T1"},
1328 {"type":"Operator","value":"\u003e)"},
1329 {"type":"Text","value":" "},
1330 {"type":"Operator","value":"("},
1331 {"type":"Name","value":"decoder2"},
1332 {"type":"Operator","value":":"},
1333 {"type":"Text","value":" "},
1334 {"type":"Name","value":"Decoder"},
1335 {"type":"Operator","value":"\u003c"},
1336 {"type":"Keyword","value":"'"},
1337 {"type":"Name","value":"T2"},
1338 {"type":"Operator","value":"\u003e)"},
1339 {"type":"Text","value":" "},
1340 {"type":"Operator","value":":"},
1341 {"type":"Text","value":" "},
1342 {"type":"Name","value":"Decoder"},
1343 {"type":"Operator","value":"\u003c"},
1344 {"type":"Keyword","value":"'"},
1345 {"type":"Name","value":"T1"},
1346 {"type":"Text","value":" "},
1347 {"type":"Operator","value":"*"},
1348 {"type":"Text","value":" "},
1349 {"type":"Keyword","value":"'"},
1350 {"type":"Name","value":"T2"},
1351 {"type":"Operator","value":"\u003e"},
1352 {"type":"Text","value":" "},
1353 {"type":"Operator","value":"="},
1354 {"type":"Text","value":" "},
1355 {"type":"Name","value":"failwith"},
1356 {"type":"Text","value":" "},
1357 {"type":"LiteralString","value":"\"\""},
1358 {"type":"Text","value":"\n\n"},
1359 {"type":"Keyword","value":"let"},
1360 {"type":"Text","value":" "},
1361 {"type":"NameVariable","value":"run"},
1362 {"type":"Text","value":" "},
1363 {"type":"Operator","value":"("},
1364 {"type":"Name","value":"program"},
1365 {"type":"Text","value":" "},
1366 {"type":"Operator","value":":"},
1367 {"type":"Text","value":" "},
1368 {"type":"Name","value":"Program"},
1369 {"type":"Operator","value":"\u003c"},
1370 {"type":"Keyword","value":"'"},
1371 {"type":"Name","value":"arg"},
1372 {"type":"Operator","value":","},
1373 {"type":"Text","value":" "},
1374 {"type":"Keyword","value":"'"},
1375 {"type":"Name","value":"model"},
1376 {"type":"Operator","value":","},
1377 {"type":"Text","value":" "},
1378 {"type":"Keyword","value":"'"},
1379 {"type":"Name","value":"msg"},
1380 {"type":"Operator","value":","},
1381 {"type":"Text","value":" "},
1382 {"type":"Keyword","value":"'"},
1383 {"type":"Name","value":"view"},
1384 {"type":"Operator","value":"\u003e)"},
1385 {"type":"Text","value":" "},
1386 {"type":"Operator","value":"="},
1387 {"type":"Text","value":" "},
1388 {"type":"LiteralString","value":"\"\""},
1389 {"type":"Text","value":"\n"},
1390 {"type":"Keyword","value":"let"},
1391 {"type":"Text","value":" "},
1392 {"type":"NameVariable","value":"run2"},
1393 {"type":"Text","value":" "},
1394 {"type":"Operator","value":"("},
1395 {"type":"Name","value":"program"},
1396 {"type":"Text","value":" "},
1397 {"type":"Operator","value":":"},
1398 {"type":"Text","value":" "},
1399 {"type":"KeywordType","value":"unit"},
1400 {"type":"Text","value":" "},
1401 {"type":"Operator","value":"-\u003e"},
1402 {"type":"Text","value":" "},
1403 {"type":"Name","value":"Program"},
1404 {"type":"Operator","value":"\u003c"},
1405 {"type":"Keyword","value":"'"},
1406 {"type":"Name","value":"arg"},
1407 {"type":"Operator","value":","},
1408 {"type":"Text","value":" "},
1409 {"type":"Keyword","value":"'"},
1410 {"type":"Name","value":"model"},
1411 {"type":"Operator","value":","},
1412 {"type":"Text","value":" "},
1413 {"type":"Keyword","value":"'"},
1414 {"type":"Name","value":"msg"},
1415 {"type":"Operator","value":","},
1416 {"type":"Text","value":" "},
1417 {"type":"Keyword","value":"'"},
1418 {"type":"Name","value":"view"},
1419 {"type":"Operator","value":"\u003e)"},
1420 {"type":"Text","value":" "},
1421 {"type":"Operator","value":"="},
1422 {"type":"Text","value":" "},
1423 {"type":"LiteralString","value":"\"\""},
1424 {"type":"Text","value":"\n\n"},
1425 {"type":"Keyword","value":"type"},
1426 {"type":"Text","value":" "},
1427 {"type":"NameClass","value":"T"},
1428 {"type":"Text","value":" "},
1429 {"type":"Operator","value":"="},
1430 {"type":"Text","value":"\n "},
1431 {"type":"Keyword","value":"abstract"},
1432 {"type":"Text","value":" "},
1433 {"type":"Name","value":"Item"},
1434 {"type":"Operator","value":":"},
1435 {"type":"Text","value":" "},
1436 {"type":"Name","value":"selector"},
1437 {"type":"Operator","value":":"},
1438 {"type":"Text","value":" "},
1439 {"type":"KeywordType","value":"string"},
1440 {"type":"Text","value":" "},
1441 {"type":"Operator","value":"-\u003e"},
1442 {"type":"Text","value":" "},
1443 {"type":"KeywordType","value":"string"},
1444 {"type":"Text","value":" "},
1445 {"type":"Keyword","value":"with"},
1446 {"type":"Text","value":" "},
1447 {"type":"Name","value":"get"},
1448 {"type":"Operator","value":","},
1449 {"type":"Text","value":" "},
1450 {"type":"Name","value":"set"},
1451 {"type":"Text","value":"\n "},
1452 {"type":"Keyword","value":"abstract"},
1453 {"type":"Text","value":" "},
1454 {"type":"Name","value":"icon"},
1455 {"type":"Operator","value":":"},
1456 {"type":"Text","value":" "},
1457 {"type":"Name","value":"width"},
1458 {"type":"Text","value":" "},
1459 {"type":"Operator","value":":"},
1460 {"type":"Text","value":" "},
1461 {"type":"Name","value":"int"},
1462 {"type":"Text","value":" "},
1463 {"type":"Operator","value":"*"},
1464 {"type":"Text","value":" "},
1465 {"type":"Name","value":"height"},
1466 {"type":"Text","value":" "},
1467 {"type":"Operator","value":":"},
1468 {"type":"Text","value":" "},
1469 {"type":"Name","value":"int"},
1470 {"type":"Text","value":" "},
1471 {"type":"Keyword","value":"with"},
1472 {"type":"Text","value":" "},
1473 {"type":"Name","value":"get"},
1474 {"type":"Operator","value":","},
1475 {"type":"Text","value":" "},
1476 {"type":"Name","value":"set"},
1477 {"type":"Text","value":"\n "},
1478 {"type":"Keyword","value":"abstract"},
1479 {"type":"Text","value":" "},
1480 {"type":"Keyword","value":"member"},
1481 {"type":"Text","value":" "},
1482 {"type":"Name","value":"Name"},
1483 {"type":"Operator","value":":"},
1484 {"type":"Text","value":" "},
1485 {"type":"KeywordType","value":"string"},
1486 {"type":"Text","value":" "},
1487 {"type":"Name","value":"option"},
1488 {"type":"Text","value":" "},
1489 {"type":"Keyword","value":"with"},
1490 {"type":"Text","value":" "},
1491 {"type":"Name","value":"get"},
1492 {"type":"Operator","value":","},
1493 {"type":"Text","value":" "},
1494 {"type":"Name","value":"set"},
1495 {"type":"Text","value":"\n "},
1496 {"type":"Keyword","value":"abstract"},
1497 {"type":"Text","value":" "},
1498 {"type":"Keyword","value":"member"},
1499 {"type":"Text","value":" "},
1500 {"type":"Name","value":"NameTestComment"},
1501 {"type":"Operator","value":":"},
1502 {"type":"Text","value":" "},
1503 {"type":"KeywordType","value":"string"},
1504 {"type":"Text","value":" "},
1505 {"type":"Comment","value":"(*I am a comments*)"},
1506 {"type":"Text","value":" "},
1507 {"type":"Name","value":"option"},
1508 {"type":"Text","value":" "},
1509 {"type":"Keyword","value":"with"},
1510 {"type":"Text","value":" "},
1511 {"type":"Name","value":"get"},
1512 {"type":"Operator","value":","},
1513 {"type":"Text","value":" "},
1514 {"type":"Name","value":"set"},
1515 {"type":"Text","value":"\n "},
1516 {"type":"Keyword","value":"abstract"},
1517 {"type":"Text","value":" "},
1518 {"type":"Keyword","value":"member"},
1519 {"type":"Text","value":" "},
1520 {"type":"Name","value":"NameTestComment2"},
1521 {"type":"Operator","value":":"},
1522 {"type":"Text","value":" "},
1523 {"type":"KeywordType","value":"string"},
1524 {"type":"Text","value":" "},
1525 {"type":"CommentSingle","value":"//option with get, set\n"},
1526 {"type":"Text","value":" "},
1527 {"type":"Keyword","value":"abstract"},
1528 {"type":"Text","value":" "},
1529 {"type":"Keyword","value":"member"},
1530 {"type":"Text","value":" "},
1531 {"type":"Name","value":"Keys"},
1532 {"type":"Operator","value":":"},
1533 {"type":"Text","value":" "},
1534 {"type":"KeywordType","value":"unit"},
1535 {"type":"Text","value":" "},
1536 {"type":"Operator","value":"-\u003e"},
1537 {"type":"Text","value":" "},
1538 {"type":"Name","value":"Program"},
1539 {"type":"Operator","value":"\u003c"},
1540 {"type":"Keyword","value":"'"},
1541 {"type":"Name","value":"arg"},
1542 {"type":"Operator","value":","},
1543 {"type":"Text","value":" "},
1544 {"type":"Keyword","value":"'"},
1545 {"type":"Name","value":"model"},
1546 {"type":"Operator","value":","},
1547 {"type":"Text","value":" "},
1548 {"type":"Keyword","value":"'"},
1549 {"type":"Name","value":"msg"},
1550 {"type":"Operator","value":","},
1551 {"type":"Text","value":" "},
1552 {"type":"Name","value":"array"},
1553 {"type":"Operator","value":"\u003c"},
1554 {"type":"Name","value":"array"},
1555 {"type":"Operator","value":"\u003c"},
1556 {"type":"Name","value":"array"},
1557 {"type":"Operator","value":"\u003c"},
1558 {"type":"Keyword","value":"'"},
1559 {"type":"Name","value":"view"},
1560 {"type":"Operator","value":"\u003e\u003e\u003e\u003e"},
1561 {"type":"Text","value":"\n "},
1562 {"type":"Keyword","value":"abstract"},
1563 {"type":"Text","value":" "},
1564 {"type":"Name","value":"Run"},
1565 {"type":"Text","value":" "},
1566 {"type":"Operator","value":":"},
1567 {"type":"Text","value":" "},
1568 {"type":"Name","value":"program"},
1569 {"type":"Text","value":" "},
1570 {"type":"Operator","value":":"},
1571 {"type":"Text","value":" "},
1572 {"type":"Name","value":"Program"},
1573 {"type":"Operator","value":"\u003c"},
1574 {"type":"Keyword","value":"'"},
1575 {"type":"Name","value":"arg"},
1576 {"type":"Operator","value":","},
1577 {"type":"Text","value":" "},
1578 {"type":"Keyword","value":"'"},
1579 {"type":"Name","value":"model"},
1580 {"type":"Operator","value":","},
1581 {"type":"Text","value":" "},
1582 {"type":"Keyword","value":"'"},
1583 {"type":"Name","value":"msg"},
1584 {"type":"Operator","value":","},
1585 {"type":"Text","value":" "},
1586 {"type":"Name","value":"array"},
1587 {"type":"Operator","value":"\u003c"},
1588 {"type":"Name","value":"array"},
1589 {"type":"Operator","value":"\u003c"},
1590 {"type":"Name","value":"array"},
1591 {"type":"Operator","value":"\u003c"},
1592 {"type":"Keyword","value":"'"},
1593 {"type":"Name","value":"view"},
1594 {"type":"Operator","value":"\u003e\u003e\u003e\u003e"},
1595 {"type":"Text","value":" "},
1596 {"type":"Operator","value":"-\u003e"},
1597 {"type":"Text","value":" "},
1598 {"type":"KeywordType","value":"unit"},
1599 {"type":"Text","value":"\n "},
1600 {"type":"Keyword","value":"abstract"},
1601 {"type":"Text","value":" "},
1602 {"type":"Name","value":"``open``"},
1603 {"type":"Operator","value":":"},
1604 {"type":"Text","value":" "},
1605 {"type":"Name","value":"cacheName"},
1606 {"type":"Operator","value":":"},
1607 {"type":"Text","value":" "},
1608 {"type":"KeywordType","value":"string"},
1609 {"type":"Text","value":" "},
1610 {"type":"Operator","value":"-\u003e"},
1611 {"type":"Text","value":" "},
1612 {"type":"KeywordType","value":"obj"},
1613 {"type":"Text","value":"\n "},
1614 {"type":"Keyword","value":"abstract"},
1615 {"type":"Text","value":" "},
1616 {"type":"Name","value":"DrawElementsInstancedANGLE"},
1617 {"type":"Operator","value":":"},
1618 {"type":"Text","value":" "},
1619 {"type":"Name","value":"mode"},
1620 {"type":"Operator","value":":"},
1621 {"type":"Text","value":" "},
1622 {"type":"KeywordType","value":"float"},
1623 {"type":"Text","value":" "},
1624 {"type":"Operator","value":"*"},
1625 {"type":"Text","value":" "},
1626 {"type":"Name","value":"count"},
1627 {"type":"Operator","value":":"},
1628 {"type":"Text","value":" "},
1629 {"type":"KeywordType","value":"float"},
1630 {"type":"Text","value":" "},
1631 {"type":"Operator","value":"*"},
1632 {"type":"Text","value":" "},
1633 {"type":"Name","value":"``type with spaces``"},
1634 {"type":"Operator","value":":"},
1635 {"type":"Text","value":" "},
1636 {"type":"KeywordType","value":"float"},
1637 {"type":"Text","value":" "},
1638 {"type":"Operator","value":"*"},
1639 {"type":"Text","value":" "},
1640 {"type":"Name","value":"offset"},
1641 {"type":"Operator","value":":"},
1642 {"type":"Text","value":" "},
1643 {"type":"KeywordType","value":"float"},
1644 {"type":"Text","value":" "},
1645 {"type":"Operator","value":"*"},
1646 {"type":"Text","value":" "},
1647 {"type":"Name","value":"primcount"},
1648 {"type":"Operator","value":":"},
1649 {"type":"Text","value":" "},
1650 {"type":"KeywordType","value":"float"},
1651 {"type":"Text","value":"\n "},
1652 {"type":"Keyword","value":"abstract"},
1653 {"type":"Text","value":" "},
1654 {"type":"Name","value":"Test"},
1655 {"type":"Text","value":" "},
1656 {"type":"Operator","value":":"},
1657 {"type":"Text","value":" "},
1658 {"type":"Name","value":"Result"},
1659 {"type":"Operator","value":"\u003c"},
1660 {"type":"KeywordType","value":"string"},
1661 {"type":"Text","value":" "},
1662 {"type":"KeywordType","value":"list"},
1663 {"type":"Operator","value":","},
1664 {"type":"Text","value":" "},
1665 {"type":"Name","value":"int"},
1666 {"type":"Text","value":" "},
1667 {"type":"Name","value":"array"},
1668 {"type":"Operator","value":"\u003e"},
1669 {"type":"Text","value":"\n "},
1670 {"type":"Keyword","value":"abstract"},
1671 {"type":"Text","value":" "},
1672 {"type":"Name","value":"Test2"},
1673 {"type":"Text","value":" "},
1674 {"type":"Operator","value":":"},
1675 {"type":"Text","value":" "},
1676 {"type":"Name","value":"mode"},
1677 {"type":"Operator","value":":"},
1678 {"type":"Text","value":" "},
1679 {"type":"KeywordType","value":"float"},
1680 {"type":"Text","value":" "},
1681 {"type":"Operator","value":"*"},
1682 {"type":"Text","value":" "},
1683 {"type":"Name","value":"test"},
1684 {"type":"Text","value":" "},
1685 {"type":"Operator","value":":"},
1686 {"type":"Text","value":" "},
1687 {"type":"Operator","value":"("},
1688 {"type":"Name","value":"Result"},
1689 {"type":"Operator","value":"\u003c"},
1690 {"type":"Name","value":"Result"},
1691 {"type":"Operator","value":"\u003c"},
1692 {"type":"Name","value":"Result"},
1693 {"type":"Operator","value":"\u003c"},
1694 {"type":"Name","value":"Result"},
1695 {"type":"Operator","value":"\u003c"},
1696 {"type":"KeywordType","value":"string"},
1697 {"type":"Operator","value":","},
1698 {"type":"Text","value":" "},
1699 {"type":"KeywordType","value":"string"},
1700 {"type":"Operator","value":"\u003e,"},
1701 {"type":"Text","value":" "},
1702 {"type":"KeywordType","value":"string"},
1703 {"type":"Operator","value":"\u003e,"},
1704 {"type":"Text","value":" "},
1705 {"type":"KeywordType","value":"string"},
1706 {"type":"Operator","value":"\u003e"},
1707 {"type":"Text","value":" "},
1708 {"type":"KeywordType","value":"list"},
1709 {"type":"Operator","value":","},
1710 {"type":"Text","value":" "},
1711 {"type":"Name","value":"int"},
1712 {"type":"Text","value":" "},
1713 {"type":"Name","value":"array"},
1714 {"type":"Operator","value":"\u003e"},
1715 {"type":"Text","value":" "},
1716 {"type":"Operator","value":"*"},
1717 {"type":"Text","value":" "},
1718 {"type":"Name","value":"int"},
1719 {"type":"Operator","value":")"},
1720 {"type":"Text","value":"\n "},
1721 {"type":"Keyword","value":"abstract"},
1722 {"type":"Text","value":" "},
1723 {"type":"Name","value":"TupleOfTuples"},
1724 {"type":"Text","value":" "},
1725 {"type":"Operator","value":":"},
1726 {"type":"Text","value":" "},
1727 {"type":"Operator","value":"("},
1728 {"type":"Name","value":"int"},
1729 {"type":"Text","value":" "},
1730 {"type":"Operator","value":"*"},
1731 {"type":"Text","value":" "},
1732 {"type":"Operator","value":"("},
1733 {"type":"Name","value":"int"},
1734 {"type":"Text","value":" "},
1735 {"type":"Operator","value":"*"},
1736 {"type":"Text","value":" "},
1737 {"type":"Operator","value":"("},
1738 {"type":"Name","value":"Result"},
1739 {"type":"Operator","value":"\u003c"},
1740 {"type":"Name","value":"Result"},
1741 {"type":"Operator","value":"\u003c"},
1742 {"type":"Name","value":"Result"},
1743 {"type":"Operator","value":"\u003c"},
1744 {"type":"Name","value":"Result"},
1745 {"type":"Operator","value":"\u003c"},
1746 {"type":"KeywordType","value":"string"},
1747 {"type":"Operator","value":","},
1748 {"type":"Text","value":" "},
1749 {"type":"KeywordType","value":"string"},
1750 {"type":"Operator","value":"\u003e,"},
1751 {"type":"Text","value":" "},
1752 {"type":"KeywordType","value":"string"},
1753 {"type":"Operator","value":"\u003e,"},
1754 {"type":"Text","value":" "},
1755 {"type":"KeywordType","value":"string"},
1756 {"type":"Operator","value":"\u003e"},
1757 {"type":"Text","value":" "},
1758 {"type":"KeywordType","value":"list"},
1759 {"type":"Operator","value":","},
1760 {"type":"Text","value":" "},
1761 {"type":"Name","value":"int"},
1762 {"type":"Text","value":" "},
1763 {"type":"Name","value":"array"},
1764 {"type":"Operator","value":"\u003e"},
1765 {"type":"Text","value":" "},
1766 {"type":"Operator","value":"*"},
1767 {"type":"Text","value":" "},
1768 {"type":"Name","value":"int"},
1769 {"type":"Operator","value":")))"},
1770 {"type":"Text","value":"\n\n"},
1771 {"type":"Keyword","value":"type"},
1772 {"type":"Text","value":" "},
1773 {"type":"NameClass","value":"FancyClass"},
1774 {"type":"Text","value":" "},
1775 {"type":"Keyword","value":"with"},
1776 {"type":"Text","value":"\n "},
1777 {"type":"Keyword","value":"member"},
1778 {"type":"Text","value":" "},
1779 {"type":"Name","value":"__"},
1780 {"type":"Punctuation","value":"."},
1781 {"type":"NameFunction","value":"Run"},
1782 {"type":"Text","value":" "},
1783 {"type":"Operator","value":"("},
1784 {"type":"Name","value":"program"},
1785 {"type":"Text","value":" "},
1786 {"type":"Operator","value":":"},
1787 {"type":"Text","value":" "},
1788 {"type":"Name","value":"Program"},
1789 {"type":"Operator","value":"\u003c"},
1790 {"type":"Keyword","value":"'"},
1791 {"type":"Name","value":"arg"},
1792 {"type":"Operator","value":","},
1793 {"type":"Text","value":" "},
1794 {"type":"Keyword","value":"'"},
1795 {"type":"Name","value":"model"},
1796 {"type":"Operator","value":","},
1797 {"type":"Text","value":" "},
1798 {"type":"Keyword","value":"'"},
1799 {"type":"Name","value":"msg"},
1800 {"type":"Operator","value":","},
1801 {"type":"Text","value":" "},
1802 {"type":"Name","value":"array"},
1803 {"type":"Operator","value":"\u003c"},
1804 {"type":"Keyword","value":"'"},
1805 {"type":"Name","value":"view"},
1806 {"type":"Operator","value":"\u003e\u003e)"},
1807 {"type":"Text","value":" "},
1808 {"type":"Operator","value":"="},
1809 {"type":"Text","value":" "},
1810 {"type":"NameBuiltinPseudo","value":"()"},
1811 {"type":"Text","value":"\n\n"},
1812 {"type":"Keyword","value":"type"},
1813 {"type":"Text","value":" "},
1814 {"type":"NameClass","value":"FancyClass1"},
1815 {"type":"Operator","value":"(?"},
1816 {"type":"Name","value":"thing"},
1817 {"type":"Operator","value":":"},
1818 {"type":"Name","value":"int"},
1819 {"type":"Operator","value":")"},
1820 {"type":"Text","value":" "},
1821 {"type":"Operator","value":"="},
1822 {"type":"Text","value":"\n "},
1823 {"type":"Keyword","value":"class"},
1824 {"type":"Text","value":" "},
1825 {"type":"Keyword","value":"end"},
1826 {"type":"Text","value":"\n\n"},
1827 {"type":"Keyword","value":"type"},
1828 {"type":"Text","value":" "},
1829 {"type":"NameClass","value":"private"},
1830 {"type":"Text","value":" "},
1831 {"type":"Name","value":"FancyClass2"},
1832 {"type":"Text","value":" "},
1833 {"type":"Operator","value":"(?"},
1834 {"type":"Name","value":"thing"},
1835 {"type":"Operator","value":":"},
1836 {"type":"Name","value":"int"},
1837 {"type":"Operator","value":")"},
1838 {"type":"Text","value":" "},
1839 {"type":"Operator","value":"="},
1840 {"type":"Text","value":"\n "},
1841 {"type":"Keyword","value":"class"},
1842 {"type":"Text","value":" "},
1843 {"type":"Keyword","value":"end"},
1844 {"type":"Text","value":"\n\n"},
1845 {"type":"Keyword","value":"type"},
1846 {"type":"Text","value":" "},
1847 {"type":"NameClass","value":"FancyClass3"},
1848 {"type":"Text","value":" "},
1849 {"type":"Keyword","value":"private"},
1850 {"type":"Text","value":" "},
1851 {"type":"Operator","value":"(?"},
1852 {"type":"Name","value":"thing"},
1853 {"type":"Operator","value":":"},
1854 {"type":"Name","value":"int"},
1855 {"type":"Operator","value":")"},
1856 {"type":"Text","value":" "},
1857 {"type":"Operator","value":"="},
1858 {"type":"Text","value":"\n "},
1859 {"type":"Keyword","value":"class"},
1860 {"type":"Text","value":" "},
1861 {"type":"Keyword","value":"end"},
1862 {"type":"Text","value":"\n\n"},
1863 {"type":"Keyword","value":"let"},
1864 {"type":"Text","value":" "},
1865 {"type":"NameVariable","value":"foo"},
1866 {"type":"Text","value":" "},
1867 {"type":"Operator","value":"="},
1868 {"type":"Text","value":"\n "},
1869 {"type":"Operator","value":"{"},
1870 {"type":"Text","value":" "},
1871 {"type":"Keyword","value":"new"},
1872 {"type":"Text","value":" "},
1873 {"type":"NameNamespace","value":"System"},
1874 {"type":"Punctuation","value":"."},
1875 {"type":"Name","value":"IDisposable"},
1876 {"type":"Text","value":" "},
1877 {"type":"Keyword","value":"with"},
1878 {"type":"Text","value":"\n "},
1879 {"type":"Keyword","value":"member"},
1880 {"type":"Text","value":" "},
1881 {"type":"Name","value":"__"},
1882 {"type":"Punctuation","value":"."},
1883 {"type":"NameFunction","value":"Dispose"},
1884 {"type":"NameBuiltinPseudo","value":"()"},
1885 {"type":"Text","value":" "},
1886 {"type":"Operator","value":"="},
1887 {"type":"Text","value":"\n "},
1888 {"type":"Name","value":"failwith"},
1889 {"type":"Text","value":" "},
1890 {"type":"LiteralString","value":"\"do nothing\""},
1891 {"type":"Text","value":" "},
1892 {"type":"Operator","value":"}"},
1893 {"type":"Text","value":"\n"},
1894 {"type":"Keyword","value":"let"},
1895 {"type":"Text","value":" "},
1896 {"type":"NameVariable","value":"bar"},
1897 {"type":"Text","value":" "},
1898 {"type":"Operator","value":"="},
1899 {"type":"Text","value":"\n "},
1900 {"type":"Keyword","value":"use"},
1901 {"type":"Text","value":" "},
1902 {"type":"Name","value":"foo"},
1903 {"type":"Text","value":" "},
1904 {"type":"Operator","value":"="},
1905 {"type":"Text","value":" "},
1906 {"type":"Keyword","value":"new"},
1907 {"type":"Text","value":" "},
1908 {"type":"NameNamespace","value":"System"},
1909 {"type":"Punctuation","value":"."},
1910 {"type":"NameNamespace","value":"Threading"},
1911 {"type":"Punctuation","value":"."},
1912 {"type":"Name","value":"CancellationTokenSource"},
1913 {"type":"NameBuiltinPseudo","value":"()"},
1914 {"type":"Text","value":"\n "},
1915 {"type":"NameBuiltinPseudo","value":"()"},
1916 {"type":"Text","value":"\n\n"},
1917 {"type":"Keyword","value":"let"},
1918 {"type":"Text","value":" "},
1919 {"type":"NameVariable","value":"paramsColorWorksHereToo"},
1920 {"type":"Text","value":" "},
1921 {"type":"Operator","value":"("},
1922 {"type":"Name","value":"client"},
1923 {"type":"Text","value":" "},
1924 {"type":"Operator","value":":"},
1925 {"type":"Text","value":" "},
1926 {"type":"KeywordType","value":"obj"},
1927 {"type":"Operator","value":","},
1928 {"type":"Text","value":" "},
1929 {"type":"Name","value":"extraParam"},
1930 {"type":"Operator","value":")"},
1931 {"type":"Text","value":" "},
1932 {"type":"Operator","value":"("},
1933 {"type":"Name","value":"name"},
1934 {"type":"Text","value":" "},
1935 {"type":"Operator","value":":"},
1936 {"type":"Text","value":" "},
1937 {"type":"KeywordType","value":"unit"},
1938 {"type":"Text","value":" "},
1939 {"type":"Operator","value":"-\u003e"},
1940 {"type":"Text","value":" "},
1941 {"type":"KeywordType","value":"obj"},
1942 {"type":"Operator","value":")"},
1943 {"type":"Text","value":" "},
1944 {"type":"Operator","value":":"},
1945 {"type":"Text","value":" "},
1946 {"type":"KeywordType","value":"string"},
1947 {"type":"Text","value":" "},
1948 {"type":"Operator","value":"="},
1949 {"type":"Text","value":" "},
1950 {"type":"LiteralString","value":"\"\""},
1951 {"type":"Text","value":"\n\n"},
1952 {"type":"Keyword","value":"let"},
1953 {"type":"Text","value":" "},
1954 {"type":"NameVariable","value":"endOfThisLineShouldBeCommented"},
1955 {"type":"CommentSingle","value":"// (client : obj, extraParam) = \"\"\n"},
1956 {"type":"Text","value":" "},
1957 {"type":"Operator","value":":"},
1958 {"type":"Text","value":" "},
1959 {"type":"KeywordType","value":"string"},
1960 {"type":"Text","value":" "},
1961 {"type":"Operator","value":"="},
1962 {"type":"Text","value":" "},
1963 {"type":"LiteralString","value":"\"\""},
1964 {"type":"Text","value":"\n\n"},
1965 {"type":"CommentSingle","value":"// Fixed width comments also works and coloration is still correct after it\n"},
1966 {"type":"Keyword","value":"let"},
1967 {"type":"Text","value":" "},
1968 {"type":"NameVariable","value":"endOfThisLineShouldBeCommented2"},
1969 {"type":"Text","value":" "},
1970 {"type":"Comment","value":"(*(client : obj, extraParam) = "},
1971 {"type":"LiteralString","value":"\"\""},
1972 {"type":"Comment","value":"*)"},
1973 {"type":"Text","value":" "},
1974 {"type":"Operator","value":"("},
1975 {"type":"Name","value":"name"},
1976 {"type":"Operator","value":":"},
1977 {"type":"Text","value":" "},
1978 {"type":"Name","value":"int"},
1979 {"type":"Operator","value":")"},
1980 {"type":"Text","value":" "},
1981 {"type":"Operator","value":"="},
1982 {"type":"Text","value":" "},
1983 {"type":"LiteralString","value":"\"\""},
1984 {"type":"Text","value":"\n\n"},
1985 {"type":"CommentSingle","value":"// Fixed width comments also works even in tuples parameters\n// and coloration is still correct after it\n"},
1986 {"type":"Keyword","value":"let"},
1987 {"type":"Text","value":" "},
1988 {"type":"NameVariable","value":"private"},
1989 {"type":"Text","value":" "},
1990 {"type":"Operator","value":"_"},
1991 {"type":"Name","value":"emitLetBinding"},
1992 {"type":"Text","value":" "},
1993 {"type":"Operator","value":"("},
1994 {"type":"Name","value":"il"},
1995 {"type":"Operator","value":":"},
1996 {"type":"Name","value":"int"},
1997 {"type":"Operator","value":","},
1998 {"type":"Text","value":" "},
1999 {"type":"Comment","value":"(*methods:MethodSymbolTable, locals:LocalsSymbolTable,*)"},
2000 {"type":"Text","value":" "},
2001 {"type":"Name","value":"binding"},
2002 {"type":"Operator","value":":"},
2003 {"type":"KeywordType","value":"obj"},
2004 {"type":"Operator","value":")"},
2005 {"type":"Text","value":" "},
2006 {"type":"Operator","value":"="},
2007 {"type":"Text","value":"\n "},
2008 {"type":"LiteralString","value":"\"\""},
2009 {"type":"Text","value":"\n\n"},
2010 {"type":"Keyword","value":"type"},
2011 {"type":"Text","value":" "},
2012 {"type":"NameClass","value":"EndOfThisLineShouldBe"},
2013 {"type":"Text","value":" "},
2014 {"type":"CommentSingle","value":"//Commented (a:int, b:int)\n"},
2015 {"type":"Text","value":" "},
2016 {"type":"Operator","value":"("},
2017 {"type":"Name","value":"a"},
2018 {"type":"Operator","value":":"},
2019 {"type":"Text","value":" "},
2020 {"type":"Name","value":"int"},
2021 {"type":"Operator","value":","},
2022 {"type":"Text","value":" "},
2023 {"type":"Name","value":"b"},
2024 {"type":"Operator","value":":"},
2025 {"type":"Text","value":" "},
2026 {"type":"Name","value":"int"},
2027 {"type":"Operator","value":")"},
2028 {"type":"Text","value":" "},
2029 {"type":"Operator","value":"="},
2030 {"type":"Text","value":"\n "},
2031 {"type":"Keyword","value":"class"},
2032 {"type":"Text","value":" "},
2033 {"type":"Keyword","value":"end"},
2034 {"type":"Text","value":"\n\n"},
2035 {"type":"Keyword","value":"let"},
2036 {"type":"Text","value":" "},
2037 {"type":"Operator","value":"("},
2038 {"type":"Name","value":"name"},
2039 {"type":"Text","value":" "},
2040 {"type":"Operator","value":":"},
2041 {"type":"Text","value":" "},
2042 {"type":"KeywordType","value":"string"},
2043 {"type":"Operator","value":","},
2044 {"type":"Text","value":" "},
2045 {"type":"Name","value":"age"},
2046 {"type":"Operator","value":")"},
2047 {"type":"Text","value":" "},
2048 {"type":"Operator","value":"="},
2049 {"type":"Text","value":" "},
2050 {"type":"LiteralString","value":"\"\""},
2051 {"type":"Operator","value":","},
2052 {"type":"Text","value":" "},
2053 {"type":"Name","value":"0"},
2054 {"type":"Text","value":"\n\n"},
2055 {"type":"Keyword","value":"type"},
2056 {"type":"Text","value":" "},
2057 {"type":"NameClass","value":"NameRecord"},
2058 {"type":"Text","value":" "},
2059 {"type":"Operator","value":"="},
2060 {"type":"Text","value":"\n "},
2061 {"type":"Operator","value":"{"},
2062 {"type":"Text","value":" "},
2063 {"type":"Name","value":"Firstname"},
2064 {"type":"Text","value":" "},
2065 {"type":"Operator","value":":"},
2066 {"type":"Text","value":" "},
2067 {"type":"KeywordType","value":"string"},
2068 {"type":"Text","value":"\n "},
2069 {"type":"Name","value":"Surname"},
2070 {"type":"Text","value":" "},
2071 {"type":"Operator","value":":"},
2072 {"type":"Text","value":" "},
2073 {"type":"KeywordType","value":"string"},
2074 {"type":"Text","value":" "},
2075 {"type":"Operator","value":"}"},
2076 {"type":"Text","value":"\n\n"},
2077 {"type":"Keyword","value":"type"},
2078 {"type":"Text","value":" "},
2079 {"type":"NameClass","value":"NestedRecord"},
2080 {"type":"Text","value":" "},
2081 {"type":"Operator","value":"="},
2082 {"type":"Text","value":"\n "},
2083 {"type":"Operator","value":"{"},
2084 {"type":"Text","value":" "},
2085 {"type":"Name","value":"Nested"},
2086 {"type":"Text","value":" "},
2087 {"type":"Operator","value":":"},
2088 {"type":"Text","value":" "},
2089 {"type":"Name","value":"NestedRecord"},
2090 {"type":"Text","value":"\n "},
2091 {"type":"Name","value":"PropB"},
2092 {"type":"Text","value":" "},
2093 {"type":"Operator","value":":"},
2094 {"type":"Text","value":" "},
2095 {"type":"KeywordType","value":"string"},
2096 {"type":"Text","value":" "},
2097 {"type":"Operator","value":"}"},
2098 {"type":"Text","value":"\n\n\n"},
2099 {"type":"CommentSingle","value":"// Test signature coloration\n"},
2100 {"type":"Keyword","value":"let"},
2101 {"type":"Text","value":" "},
2102 {"type":"NameVariable","value":"primitive"},
2103 {"type":"Text","value":" "},
2104 {"type":"Operator","value":":"},
2105 {"type":"Text","value":" "},
2106 {"type":"Name","value":"int"},
2107 {"type":"Text","value":" "},
2108 {"type":"Operator","value":"="},
2109 {"type":"Text","value":" "},
2110 {"type":"Name","value":"0"},
2111 {"type":"Text","value":"\n\n"},
2112 {"type":"Keyword","value":"let"},
2113 {"type":"Text","value":" "},
2114 {"type":"NameVariable","value":"tupleOfPrimitives"},
2115 {"type":"Text","value":" "},
2116 {"type":"Operator","value":":"},
2117 {"type":"Text","value":" "},
2118 {"type":"Name","value":"int"},
2119 {"type":"Text","value":" "},
2120 {"type":"Operator","value":"*"},
2121 {"type":"Text","value":" "},
2122 {"type":"KeywordType","value":"string"},
2123 {"type":"Text","value":" "},
2124 {"type":"KeywordType","value":"list"},
2125 {"type":"Text","value":" "},
2126 {"type":"Operator","value":"="},
2127 {"type":"Text","value":" "},
2128 {"type":"Name","value":"0"},
2129 {"type":"Operator","value":","},
2130 {"type":"Text","value":" "},
2131 {"type":"NameBuiltinPseudo","value":"[]"},
2132 {"type":"Text","value":"\n"},
2133 {"type":"Keyword","value":"let"},
2134 {"type":"Text","value":" "},
2135 {"type":"NameVariable","value":"tupleOfPrimitives"},
2136 {"type":"Text","value":" "},
2137 {"type":"Operator","value":":"},
2138 {"type":"Text","value":" "},
2139 {"type":"Operator","value":"("},
2140 {"type":"Name","value":"int"},
2141 {"type":"Text","value":" "},
2142 {"type":"Operator","value":"*"},
2143 {"type":"Text","value":" "},
2144 {"type":"KeywordType","value":"string"},
2145 {"type":"Operator","value":")"},
2146 {"type":"Text","value":" "},
2147 {"type":"Operator","value":"="},
2148 {"type":"Text","value":" "},
2149 {"type":"Name","value":"0"},
2150 {"type":"Operator","value":","},
2151 {"type":"Text","value":" "},
2152 {"type":"LiteralString","value":"\"\""},
2153 {"type":"Text","value":"\n"},
2154 {"type":"Keyword","value":"let"},
2155 {"type":"Text","value":" "},
2156 {"type":"NameVariable","value":"tupleOfTuples"},
2157 {"type":"Text","value":" "},
2158 {"type":"Operator","value":":"},
2159 {"type":"Text","value":" "},
2160 {"type":"Operator","value":"("},
2161 {"type":"Name","value":"int"},
2162 {"type":"Text","value":" "},
2163 {"type":"Operator","value":"*"},
2164 {"type":"Text","value":" "},
2165 {"type":"Operator","value":"("},
2166 {"type":"Name","value":"int"},
2167 {"type":"Text","value":" "},
2168 {"type":"Operator","value":"*"},
2169 {"type":"Text","value":" "},
2170 {"type":"Operator","value":"("},
2171 {"type":"Name","value":"int"},
2172 {"type":"Text","value":" "},
2173 {"type":"Operator","value":"*"},
2174 {"type":"Text","value":" "},
2175 {"type":"Name","value":"int"},
2176 {"type":"Operator","value":")))"},
2177 {"type":"Text","value":" "},
2178 {"type":"Operator","value":"="},
2179 {"type":"Text","value":" "},
2180 {"type":"Name","value":"failwith"},
2181 {"type":"Text","value":" "},
2182 {"type":"LiteralString","value":"\"\""},
2183 {"type":"Text","value":"\n"},
2184 {"type":"Keyword","value":"let"},
2185 {"type":"Text","value":" "},
2186 {"type":"NameVariable","value":"tupleOfTuples"},
2187 {"type":"Text","value":" "},
2188 {"type":"Operator","value":":"},
2189 {"type":"Text","value":" "},
2190 {"type":"Name","value":"int"},
2191 {"type":"Text","value":" "},
2192 {"type":"Operator","value":"*"},
2193 {"type":"Text","value":" "},
2194 {"type":"Operator","value":"("},
2195 {"type":"Name","value":"int"},
2196 {"type":"Text","value":" "},
2197 {"type":"Operator","value":"*"},
2198 {"type":"Text","value":" "},
2199 {"type":"Operator","value":"("},
2200 {"type":"Name","value":"Result"},
2201 {"type":"Operator","value":"\u003c"},
2202 {"type":"Name","value":"Result"},
2203 {"type":"Operator","value":"\u003c"},
2204 {"type":"Name","value":"Result"},
2205 {"type":"Operator","value":"\u003c"},
2206 {"type":"Name","value":"Result"},
2207 {"type":"Operator","value":"\u003c"},
2208 {"type":"KeywordType","value":"string"},
2209 {"type":"Operator","value":","},
2210 {"type":"Text","value":" "},
2211 {"type":"KeywordType","value":"string"},
2212 {"type":"Operator","value":"\u003e,"},
2213 {"type":"Text","value":" "},
2214 {"type":"KeywordType","value":"string"},
2215 {"type":"Operator","value":"\u003e,"},
2216 {"type":"Text","value":" "},
2217 {"type":"KeywordType","value":"string"},
2218 {"type":"Operator","value":"\u003e"},
2219 {"type":"Text","value":" "},
2220 {"type":"KeywordType","value":"list"},
2221 {"type":"Operator","value":","},
2222 {"type":"Text","value":" "},
2223 {"type":"Name","value":"int"},
2224 {"type":"Text","value":" "},
2225 {"type":"Name","value":"array"},
2226 {"type":"Operator","value":"\u003e"},
2227 {"type":"Text","value":" "},
2228 {"type":"Operator","value":"*"},
2229 {"type":"Text","value":" "},
2230 {"type":"Name","value":"int"},
2231 {"type":"Operator","value":"))"},
2232 {"type":"Text","value":" "},
2233 {"type":"Operator","value":"="},
2234 {"type":"Text","value":" "},
2235 {"type":"Name","value":"failwith"},
2236 {"type":"Text","value":" "},
2237 {"type":"LiteralString","value":"\"\""},
2238 {"type":"Text","value":"\n"},
2239 {"type":"Keyword","value":"let"},
2240 {"type":"Text","value":" "},
2241 {"type":"NameVariable","value":"tupleOfTuples"},
2242 {"type":"Text","value":" "},
2243 {"type":"Operator","value":":"},
2244 {"type":"Text","value":" "},
2245 {"type":"Operator","value":"("},
2246 {"type":"Name","value":"int"},
2247 {"type":"Text","value":" "},
2248 {"type":"Operator","value":"*"},
2249 {"type":"Text","value":" "},
2250 {"type":"Operator","value":"("},
2251 {"type":"Name","value":"int"},
2252 {"type":"Text","value":" "},
2253 {"type":"Operator","value":"*"},
2254 {"type":"Text","value":" "},
2255 {"type":"Operator","value":"("},
2256 {"type":"Name","value":"Result"},
2257 {"type":"Operator","value":"\u003c"},
2258 {"type":"Name","value":"Result"},
2259 {"type":"Operator","value":"\u003c"},
2260 {"type":"Name","value":"Result"},
2261 {"type":"Operator","value":"\u003c"},
2262 {"type":"Name","value":"Result"},
2263 {"type":"Operator","value":"\u003c"},
2264 {"type":"KeywordType","value":"string"},
2265 {"type":"Operator","value":","},
2266 {"type":"Text","value":" "},
2267 {"type":"KeywordType","value":"string"},
2268 {"type":"Operator","value":"\u003e,"},
2269 {"type":"Text","value":" "},
2270 {"type":"KeywordType","value":"string"},
2271 {"type":"Operator","value":"\u003e,"},
2272 {"type":"Text","value":" "},
2273 {"type":"KeywordType","value":"string"},
2274 {"type":"Operator","value":"\u003e"},
2275 {"type":"Text","value":" "},
2276 {"type":"KeywordType","value":"list"},
2277 {"type":"Operator","value":","},
2278 {"type":"Text","value":" "},
2279 {"type":"Name","value":"int"},
2280 {"type":"Text","value":" "},
2281 {"type":"Name","value":"array"},
2282 {"type":"Operator","value":"\u003e"},
2283 {"type":"Text","value":" "},
2284 {"type":"Operator","value":"*"},
2285 {"type":"Text","value":" "},
2286 {"type":"Name","value":"int"},
2287 {"type":"Operator","value":")))"},
2288 {"type":"Text","value":" "},
2289 {"type":"Operator","value":"="},
2290 {"type":"Text","value":" "},
2291 {"type":"Name","value":"failwith"},
2292 {"type":"Text","value":" "},
2293 {"type":"LiteralString","value":"\"\""},
2294 {"type":"Text","value":"\n"},
2295 {"type":"Keyword","value":"let"},
2296 {"type":"Text","value":" "},
2297 {"type":"NameVariable","value":"listOfTuples"},
2298 {"type":"Text","value":"\n "},
2299 {"type":"Operator","value":"("},
2300 {"type":"Name","value":"files"},
2301 {"type":"Text","value":" "},
2302 {"type":"Operator","value":":"},
2303 {"type":"Text","value":" "},
2304 {"type":"Operator","value":"("},
2305 {"type":"KeywordType","value":"string"},
2306 {"type":"Text","value":" "},
2307 {"type":"Operator","value":"*"},
2308 {"type":"Text","value":" "},
2309 {"type":"KeywordType","value":"string"},
2310 {"type":"Operator","value":")"},
2311 {"type":"Text","value":" "},
2312 {"type":"KeywordType","value":"list"},
2313 {"type":"Operator","value":")"},
2314 {"type":"Text","value":"\n "},
2315 {"type":"Operator","value":"("},
2316 {"type":"Name","value":"files2"},
2317 {"type":"Text","value":" "},
2318 {"type":"Operator","value":":"},
2319 {"type":"Text","value":" "},
2320 {"type":"Operator","value":"("},
2321 {"type":"KeywordType","value":"string"},
2322 {"type":"Text","value":" "},
2323 {"type":"Operator","value":"*"},
2324 {"type":"Text","value":" "},
2325 {"type":"KeywordType","value":"string"},
2326 {"type":"Operator","value":")"},
2327 {"type":"Text","value":" "},
2328 {"type":"KeywordType","value":"list"},
2329 {"type":"Operator","value":")"},
2330 {"type":"Text","value":"\n "},
2331 {"type":"Operator","value":":"},
2332 {"type":"Text","value":" "},
2333 {"type":"Operator","value":"("},
2334 {"type":"Name","value":"int"},
2335 {"type":"Text","value":" "},
2336 {"type":"Operator","value":"*"},
2337 {"type":"Text","value":" "},
2338 {"type":"Operator","value":"("},
2339 {"type":"Name","value":"int"},
2340 {"type":"Text","value":" "},
2341 {"type":"Operator","value":"*"},
2342 {"type":"Text","value":" "},
2343 {"type":"Operator","value":"("},
2344 {"type":"Name","value":"Result"},
2345 {"type":"Operator","value":"\u003c"},
2346 {"type":"Name","value":"Result"},
2347 {"type":"Operator","value":"\u003c"},
2348 {"type":"KeywordType","value":"string"},
2349 {"type":"Operator","value":","},
2350 {"type":"Text","value":" "},
2351 {"type":"KeywordType","value":"string"},
2352 {"type":"Operator","value":"\u003e"},
2353 {"type":"Text","value":" "},
2354 {"type":"KeywordType","value":"list"},
2355 {"type":"Operator","value":","},
2356 {"type":"Text","value":" "},
2357 {"type":"Name","value":"int"},
2358 {"type":"Text","value":" "},
2359 {"type":"Name","value":"array"},
2360 {"type":"Operator","value":"\u003e"},
2361 {"type":"Text","value":" "},
2362 {"type":"Operator","value":"*"},
2363 {"type":"Text","value":" "},
2364 {"type":"Name","value":"int"},
2365 {"type":"Operator","value":")))"},
2366 {"type":"Text","value":" "},
2367 {"type":"KeywordType","value":"list"},
2368 {"type":"Text","value":" "},
2369 {"type":"Operator","value":"="},
2370 {"type":"Text","value":" "},
2371 {"type":"NameBuiltinPseudo","value":"[]"},
2372 {"type":"Text","value":"\n"},
2373 {"type":"Keyword","value":"let"},
2374 {"type":"Text","value":" "},
2375 {"type":"NameVariable","value":"generics"},
2376 {"type":"Text","value":" "},
2377 {"type":"Operator","value":":"},
2378 {"type":"Text","value":" "},
2379 {"type":"Name","value":"Result"},
2380 {"type":"Operator","value":"\u003c"},
2381 {"type":"KeywordType","value":"string"},
2382 {"type":"Text","value":" "},
2383 {"type":"KeywordType","value":"list"},
2384 {"type":"Operator","value":","},
2385 {"type":"Text","value":" "},
2386 {"type":"Name","value":"int"},
2387 {"type":"Text","value":" "},
2388 {"type":"Name","value":"array"},
2389 {"type":"Operator","value":"\u003e"},
2390 {"type":"Text","value":" "},
2391 {"type":"Operator","value":"="},
2392 {"type":"Text","value":" "},
2393 {"type":"Name","value":"Ok"},
2394 {"type":"Text","value":" "},
2395 {"type":"NameBuiltinPseudo","value":"[]"},
2396 {"type":"Text","value":"\n\n"},
2397 {"type":"Keyword","value":"let"},
2398 {"type":"Text","value":" "},
2399 {"type":"NameVariable","value":"tupleWithGenerics"},
2400 {"type":"Text","value":" "},
2401 {"type":"Operator","value":":"},
2402 {"type":"Text","value":" "},
2403 {"type":"Name","value":"Result"},
2404 {"type":"Operator","value":"\u003c"},
2405 {"type":"KeywordType","value":"string"},
2406 {"type":"Text","value":" "},
2407 {"type":"KeywordType","value":"list"},
2408 {"type":"Operator","value":","},
2409 {"type":"Text","value":" "},
2410 {"type":"Name","value":"int"},
2411 {"type":"Text","value":" "},
2412 {"type":"Name","value":"array"},
2413 {"type":"Operator","value":"\u003e"},
2414 {"type":"Text","value":" "},
2415 {"type":"Operator","value":"*"},
2416 {"type":"Text","value":" "},
2417 {"type":"Name","value":"int"},
2418 {"type":"Text","value":" "},
2419 {"type":"Operator","value":"="},
2420 {"type":"Text","value":" "},
2421 {"type":"Name","value":"Ok"},
2422 {"type":"Text","value":" "},
2423 {"type":"NameBuiltinPseudo","value":"[]"},
2424 {"type":"Operator","value":","},
2425 {"type":"Text","value":" "},
2426 {"type":"Name","value":"0"},
2427 {"type":"Text","value":"\n"},
2428 {"type":"Keyword","value":"let"},
2429 {"type":"Text","value":" "},
2430 {"type":"NameVariable","value":"tupleWithAListOfGenerics"},
2431 {"type":"Text","value":" "},
2432 {"type":"Operator","value":"("},
2433 {"type":"Name","value":"p1"},
2434 {"type":"Text","value":" "},
2435 {"type":"Operator","value":":"},
2436 {"type":"Text","value":" "},
2437 {"type":"Name","value":"int"},
2438 {"type":"Text","value":" "},
2439 {"type":"Operator","value":"*"},
2440 {"type":"Text","value":" "},
2441 {"type":"Name","value":"Map"},
2442 {"type":"Operator","value":"\u003c"},
2443 {"type":"Name","value":"int"},
2444 {"type":"Operator","value":","},
2445 {"type":"Text","value":" "},
2446 {"type":"Name","value":"int"},
2447 {"type":"Operator","value":"\u003e"},
2448 {"type":"Text","value":" "},
2449 {"type":"KeywordType","value":"list"},
2450 {"type":"Operator","value":")"},
2451 {"type":"Text","value":" "},
2452 {"type":"Operator","value":"("},
2453 {"type":"Name","value":"p2"},
2454 {"type":"Text","value":" "},
2455 {"type":"Operator","value":":"},
2456 {"type":"Text","value":" "},
2457 {"type":"Name","value":"int"},
2458 {"type":"Text","value":" "},
2459 {"type":"Operator","value":"*"},
2460 {"type":"Text","value":" "},
2461 {"type":"Name","value":"Map"},
2462 {"type":"Operator","value":"\u003c"},
2463 {"type":"Name","value":"int"},
2464 {"type":"Operator","value":","},
2465 {"type":"Text","value":" "},
2466 {"type":"Name","value":"int"},
2467 {"type":"Operator","value":"\u003e"},
2468 {"type":"Text","value":" "},
2469 {"type":"KeywordType","value":"list"},
2470 {"type":"Operator","value":")"},
2471 {"type":"Text","value":" "},
2472 {"type":"Operator","value":":"},
2473 {"type":"Text","value":" "},
2474 {"type":"Name","value":"int"},
2475 {"type":"Text","value":" "},
2476 {"type":"Operator","value":"*"},
2477 {"type":"Text","value":" "},
2478 {"type":"Name","value":"Map"},
2479 {"type":"Operator","value":"\u003c"},
2480 {"type":"Name","value":"int"},
2481 {"type":"Operator","value":","},
2482 {"type":"Text","value":" "},
2483 {"type":"Name","value":"int"},
2484 {"type":"Operator","value":"\u003e"},
2485 {"type":"Text","value":" "},
2486 {"type":"KeywordType","value":"list"},
2487 {"type":"Text","value":" "},
2488 {"type":"Operator","value":"="},
2489 {"type":"Text","value":" "},
2490 {"type":"Name","value":"1"},
2491 {"type":"Operator","value":","},
2492 {"type":"Text","value":" "},
2493 {"type":"NameBuiltinPseudo","value":"[]"},
2494 {"type":"Text","value":"\n"},
2495 {"type":"Keyword","value":"let"},
2496 {"type":"Text","value":" "},
2497 {"type":"NameVariable","value":"tupleWithAListOfGenerics"},
2498 {"type":"Text","value":" "},
2499 {"type":"Operator","value":":"},
2500 {"type":"Text","value":" "},
2501 {"type":"Name","value":"int"},
2502 {"type":"Text","value":" "},
2503 {"type":"Operator","value":"*"},
2504 {"type":"Text","value":" "},
2505 {"type":"Name","value":"Map"},
2506 {"type":"Operator","value":"\u003c"},
2507 {"type":"Name","value":"int"},
2508 {"type":"Operator","value":","},
2509 {"type":"Text","value":" "},
2510 {"type":"Name","value":"int"},
2511 {"type":"Operator","value":"\u003e"},
2512 {"type":"Text","value":" "},
2513 {"type":"KeywordType","value":"list"},
2514 {"type":"Text","value":" "},
2515 {"type":"Operator","value":"="},
2516 {"type":"Text","value":" "},
2517 {"type":"Name","value":"1"},
2518 {"type":"Operator","value":","},
2519 {"type":"Text","value":" "},
2520 {"type":"NameBuiltinPseudo","value":"[]"},
2521 {"type":"Text","value":"\n"},
2522 {"type":"Keyword","value":"let"},
2523 {"type":"Text","value":" "},
2524 {"type":"NameVariable","value":"tupleWithAListOrArrayOfGenerics2"},
2525 {"type":"Text","value":" "},
2526 {"type":"Operator","value":":"},
2527 {"type":"Text","value":" "},
2528 {"type":"Name","value":"int"},
2529 {"type":"Text","value":" "},
2530 {"type":"Operator","value":"*"},
2531 {"type":"Text","value":" "},
2532 {"type":"Name","value":"Map"},
2533 {"type":"Operator","value":"\u003c"},
2534 {"type":"Name","value":"int"},
2535 {"type":"Operator","value":","},
2536 {"type":"Text","value":" "},
2537 {"type":"Name","value":"int"},
2538 {"type":"Operator","value":"\u003e"},
2539 {"type":"Text","value":" "},
2540 {"type":"KeywordType","value":"list"},
2541 {"type":"Text","value":" "},
2542 {"type":"Operator","value":"*"},
2543 {"type":"Text","value":" "},
2544 {"type":"Name","value":"Map"},
2545 {"type":"Operator","value":"\u003c"},
2546 {"type":"Name","value":"int"},
2547 {"type":"Operator","value":","},
2548 {"type":"Text","value":" "},
2549 {"type":"Name","value":"int"},
2550 {"type":"Operator","value":"\u003e"},
2551 {"type":"Text","value":" "},
2552 {"type":"Name","value":"array"},
2553 {"type":"Text","value":" "},
2554 {"type":"Operator","value":"="},
2555 {"type":"Text","value":" "},
2556 {"type":"Name","value":"1"},
2557 {"type":"Operator","value":","},
2558 {"type":"Text","value":" "},
2559 {"type":"NameBuiltinPseudo","value":"[]"},
2560 {"type":"Operator","value":","},
2561 {"type":"Text","value":" "},
2562 {"type":"Operator","value":"[||]"},
2563 {"type":"Text","value":"\n\n"},
2564 {"type":"CommentSingle","value":"// Really complexe nested generic type\n"},
2565 {"type":"Keyword","value":"let"},
2566 {"type":"Text","value":" "},
2567 {"type":"NameVariable","value":"tupleWithGenerics2"},
2568 {"type":"Text","value":" "},
2569 {"type":"Operator","value":":"},
2570 {"type":"Text","value":" "},
2571 {"type":"Operator","value":"("},
2572 {"type":"Name","value":"Result"},
2573 {"type":"Operator","value":"\u003c"},
2574 {"type":"Name","value":"Result"},
2575 {"type":"Operator","value":"\u003c"},
2576 {"type":"Name","value":"Result"},
2577 {"type":"Operator","value":"\u003c"},
2578 {"type":"Name","value":"Result"},
2579 {"type":"Operator","value":"\u003c"},
2580 {"type":"KeywordType","value":"string"},
2581 {"type":"Operator","value":","},
2582 {"type":"Text","value":" "},
2583 {"type":"KeywordType","value":"string"},
2584 {"type":"Operator","value":"\u003e,"},
2585 {"type":"Text","value":" "},
2586 {"type":"KeywordType","value":"string"},
2587 {"type":"Operator","value":"\u003e,"},
2588 {"type":"Text","value":" "},
2589 {"type":"KeywordType","value":"string"},
2590 {"type":"Operator","value":"\u003e"},
2591 {"type":"Text","value":" "},
2592 {"type":"KeywordType","value":"list"},
2593 {"type":"Operator","value":","},
2594 {"type":"Text","value":" "},
2595 {"type":"Name","value":"int"},
2596 {"type":"Text","value":" "},
2597 {"type":"Name","value":"array"},
2598 {"type":"Operator","value":"\u003e"},
2599 {"type":"Text","value":" "},
2600 {"type":"Operator","value":"*"},
2601 {"type":"Text","value":" "},
2602 {"type":"Name","value":"int"},
2603 {"type":"Operator","value":")"},
2604 {"type":"Text","value":" "},
2605 {"type":"Operator","value":"="},
2606 {"type":"Text","value":" "},
2607 {"type":"Name","value":"Ok"},
2608 {"type":"Text","value":" "},
2609 {"type":"NameBuiltinPseudo","value":"[]"},
2610 {"type":"Operator","value":","},
2611 {"type":"Text","value":" "},
2612 {"type":"Name","value":"0"},
2613 {"type":"Text","value":"\n\n"},
2614 {"type":"Keyword","value":"let"},
2615 {"type":"Text","value":" "},
2616 {"type":"NameVariable","value":"lambda"},
2617 {"type":"Text","value":" "},
2618 {"type":"Operator","value":":"},
2619 {"type":"Text","value":" "},
2620 {"type":"Name","value":"int"},
2621 {"type":"Text","value":" "},
2622 {"type":"Operator","value":"-\u003e"},
2623 {"type":"Text","value":" "},
2624 {"type":"KeywordType","value":"unit"},
2625 {"type":"Text","value":" "},
2626 {"type":"Operator","value":"="},
2627 {"type":"Text","value":" "},
2628 {"type":"Name","value":"ignore"},
2629 {"type":"Text","value":"\n"},
2630 {"type":"Keyword","value":"let"},
2631 {"type":"Text","value":" "},
2632 {"type":"NameVariable","value":"lambda"},
2633 {"type":"Text","value":" "},
2634 {"type":"Operator","value":":"},
2635 {"type":"Text","value":" "},
2636 {"type":"Operator","value":"("},
2637 {"type":"Name","value":"int"},
2638 {"type":"Text","value":" "},
2639 {"type":"Operator","value":"-\u003e"},
2640 {"type":"Text","value":" "},
2641 {"type":"KeywordType","value":"unit"},
2642 {"type":"Operator","value":")"},
2643 {"type":"Text","value":" "},
2644 {"type":"Operator","value":"="},
2645 {"type":"Text","value":" "},
2646 {"type":"Name","value":"ignore"},
2647 {"type":"Text","value":"\n"},
2648 {"type":"Keyword","value":"let"},
2649 {"type":"Text","value":" "},
2650 {"type":"NameVariable","value":"lambda"},
2651 {"type":"Text","value":" "},
2652 {"type":"Operator","value":":"},
2653 {"type":"Text","value":" "},
2654 {"type":"Operator","value":"("},
2655 {"type":"Name","value":"int"},
2656 {"type":"Text","value":" "},
2657 {"type":"Operator","value":"-\u003e"},
2658 {"type":"Text","value":" "},
2659 {"type":"KeywordType","value":"unit"},
2660 {"type":"Operator","value":")"},
2661 {"type":"Text","value":" "},
2662 {"type":"Operator","value":"-\u003e"},
2663 {"type":"Text","value":" "},
2664 {"type":"KeywordType","value":"unit"},
2665 {"type":"Text","value":" "},
2666 {"type":"Operator","value":"="},
2667 {"type":"Text","value":" "},
2668 {"type":"Name","value":"ignore"},
2669 {"type":"Text","value":"\n"},
2670 {"type":"Keyword","value":"let"},
2671 {"type":"Text","value":" "},
2672 {"type":"NameVariable","value":"lambda"},
2673 {"type":"Text","value":" "},
2674 {"type":"Operator","value":":"},
2675 {"type":"Text","value":" "},
2676 {"type":"Operator","value":"("},
2677 {"type":"Name","value":"Result"},
2678 {"type":"Operator","value":"\u003c"},
2679 {"type":"KeywordType","value":"string"},
2680 {"type":"Text","value":" "},
2681 {"type":"KeywordType","value":"list"},
2682 {"type":"Operator","value":","},
2683 {"type":"Text","value":" "},
2684 {"type":"Name","value":"int"},
2685 {"type":"Text","value":" "},
2686 {"type":"Name","value":"array"},
2687 {"type":"Operator","value":"\u003e"},
2688 {"type":"Text","value":" "},
2689 {"type":"Operator","value":"-\u003e"},
2690 {"type":"Text","value":" "},
2691 {"type":"Operator","value":"("},
2692 {"type":"KeywordType","value":"string"},
2693 {"type":"Text","value":" "},
2694 {"type":"Operator","value":"*"},
2695 {"type":"Text","value":" "},
2696 {"type":"Name","value":"int"},
2697 {"type":"Operator","value":"))"},
2698 {"type":"Text","value":" "},
2699 {"type":"Operator","value":"-\u003e"},
2700 {"type":"Text","value":" "},
2701 {"type":"KeywordType","value":"unit"},
2702 {"type":"Text","value":" "},
2703 {"type":"Operator","value":"="},
2704 {"type":"Text","value":" "},
2705 {"type":"Name","value":"ignore"},
2706 {"type":"Text","value":"\n"},
2707 {"type":"Keyword","value":"let"},
2708 {"type":"Text","value":" "},
2709 {"type":"NameVariable","value":"lambda"},
2710 {"type":"Text","value":" "},
2711 {"type":"Operator","value":":"},
2712 {"type":"Text","value":" "},
2713 {"type":"Operator","value":"("},
2714 {"type":"Name","value":"Result"},
2715 {"type":"Operator","value":"\u003c"},
2716 {"type":"Name","value":"Result"},
2717 {"type":"Operator","value":"\u003c"},
2718 {"type":"Name","value":"Result"},
2719 {"type":"Operator","value":"\u003c"},
2720 {"type":"Name","value":"Result"},
2721 {"type":"Operator","value":"\u003c"},
2722 {"type":"KeywordType","value":"string"},
2723 {"type":"Operator","value":","},
2724 {"type":"Text","value":" "},
2725 {"type":"KeywordType","value":"string"},
2726 {"type":"Operator","value":"\u003e,"},
2727 {"type":"Text","value":" "},
2728 {"type":"KeywordType","value":"string"},
2729 {"type":"Operator","value":"\u003e,"},
2730 {"type":"Text","value":" "},
2731 {"type":"KeywordType","value":"string"},
2732 {"type":"Operator","value":"\u003e"},
2733 {"type":"Text","value":" "},
2734 {"type":"KeywordType","value":"list"},
2735 {"type":"Operator","value":","},
2736 {"type":"Text","value":" "},
2737 {"type":"Name","value":"int"},
2738 {"type":"Text","value":" "},
2739 {"type":"Name","value":"array"},
2740 {"type":"Operator","value":"\u003e"},
2741 {"type":"Text","value":" "},
2742 {"type":"Operator","value":"-\u003e"},
2743 {"type":"Text","value":" "},
2744 {"type":"Name","value":"Result"},
2745 {"type":"Operator","value":"\u003c"},
2746 {"type":"Name","value":"Result"},
2747 {"type":"Operator","value":"\u003c"},
2748 {"type":"KeywordType","value":"string"},
2749 {"type":"Operator","value":","},
2750 {"type":"Text","value":" "},
2751 {"type":"KeywordType","value":"string"},
2752 {"type":"Operator","value":"\u003e"},
2753 {"type":"Text","value":" "},
2754 {"type":"KeywordType","value":"list"},
2755 {"type":"Operator","value":","},
2756 {"type":"Text","value":" "},
2757 {"type":"Name","value":"int"},
2758 {"type":"Text","value":" "},
2759 {"type":"Name","value":"array"},
2760 {"type":"Operator","value":"\u003e"},
2761 {"type":"Text","value":" "},
2762 {"type":"Operator","value":"*"},
2763 {"type":"Text","value":" "},
2764 {"type":"Name","value":"int"},
2765 {"type":"Operator","value":")"},
2766 {"type":"Text","value":" "},
2767 {"type":"Operator","value":"-\u003e"},
2768 {"type":"Text","value":" "},
2769 {"type":"KeywordType","value":"unit"},
2770 {"type":"Text","value":" "},
2771 {"type":"Operator","value":"="},
2772 {"type":"Text","value":" "},
2773 {"type":"Name","value":"ignore"},
2774 {"type":"Text","value":"\n"},
2775 {"type":"Keyword","value":"let"},
2776 {"type":"Text","value":" "},
2777 {"type":"NameVariable","value":"lambda"},
2778 {"type":"Text","value":" "},
2779 {"type":"Operator","value":"("},
2780 {"type":"Text","value":" "},
2781 {"type":"Name","value":"x"},
2782 {"type":"Text","value":" "},
2783 {"type":"Operator","value":":"},
2784 {"type":"Text","value":" "},
2785 {"type":"Operator","value":"("},
2786 {"type":"Name","value":"Result"},
2787 {"type":"Operator","value":"\u003c"},
2788 {"type":"Name","value":"Result"},
2789 {"type":"Operator","value":"\u003c"},
2790 {"type":"Name","value":"Result"},
2791 {"type":"Operator","value":"\u003c"},
2792 {"type":"Name","value":"Result"},
2793 {"type":"Operator","value":"\u003c"},
2794 {"type":"KeywordType","value":"string"},
2795 {"type":"Operator","value":","},
2796 {"type":"Text","value":" "},
2797 {"type":"KeywordType","value":"string"},
2798 {"type":"Operator","value":"\u003e,"},
2799 {"type":"Text","value":" "},
2800 {"type":"KeywordType","value":"string"},
2801 {"type":"Operator","value":"\u003e,"},
2802 {"type":"Text","value":" "},
2803 {"type":"KeywordType","value":"string"},
2804 {"type":"Operator","value":"\u003e"},
2805 {"type":"Text","value":" "},
2806 {"type":"KeywordType","value":"list"},
2807 {"type":"Operator","value":","},
2808 {"type":"Text","value":" "},
2809 {"type":"Name","value":"int"},
2810 {"type":"Text","value":" "},
2811 {"type":"Name","value":"array"},
2812 {"type":"Operator","value":"\u003e"},
2813 {"type":"Text","value":"\n "},
2814 {"type":"Operator","value":"-\u003e"},
2815 {"type":"Text","value":" "},
2816 {"type":"Name","value":"Result"},
2817 {"type":"Operator","value":"\u003c"},
2818 {"type":"Name","value":"Result"},
2819 {"type":"Operator","value":"\u003c"},
2820 {"type":"Name","value":"Result"},
2821 {"type":"Operator","value":"\u003c"},
2822 {"type":"Name","value":"Result"},
2823 {"type":"Operator","value":"\u003c"},
2824 {"type":"KeywordType","value":"string"},
2825 {"type":"Operator","value":","},
2826 {"type":"Text","value":" "},
2827 {"type":"KeywordType","value":"string"},
2828 {"type":"Operator","value":"\u003e,"},
2829 {"type":"Text","value":" "},
2830 {"type":"KeywordType","value":"string"},
2831 {"type":"Operator","value":"\u003e,"},
2832 {"type":"Text","value":" "},
2833 {"type":"KeywordType","value":"string"},
2834 {"type":"Operator","value":"\u003e"},
2835 {"type":"Text","value":" "},
2836 {"type":"KeywordType","value":"list"},
2837 {"type":"Operator","value":","},
2838 {"type":"Text","value":" "},
2839 {"type":"Name","value":"int"},
2840 {"type":"Text","value":" "},
2841 {"type":"Name","value":"array"},
2842 {"type":"Operator","value":"\u003e"},
2843 {"type":"Text","value":" "},
2844 {"type":"Operator","value":"*"},
2845 {"type":"Text","value":" "},
2846 {"type":"Name","value":"int"},
2847 {"type":"Operator","value":")"},
2848 {"type":"Text","value":"\n "},
2849 {"type":"Operator","value":"-\u003e"},
2850 {"type":"Text","value":" "},
2851 {"type":"KeywordType","value":"unit"},
2852 {"type":"Operator","value":")"},
2853 {"type":"Text","value":" "},
2854 {"type":"Operator","value":":"},
2855 {"type":"Text","value":" "},
2856 {"type":"Operator","value":"("},
2857 {"type":"Keyword","value":"'"},
2858 {"type":"Name","value":"T"},
2859 {"type":"Text","value":" "},
2860 {"type":"Operator","value":"-\u003e"},
2861 {"type":"Text","value":" "},
2862 {"type":"KeywordType","value":"unit"},
2863 {"type":"Text","value":" "},
2864 {"type":"Operator","value":")"},
2865 {"type":"Text","value":" "},
2866 {"type":"Operator","value":"="},
2867 {"type":"Text","value":" "},
2868 {"type":"Name","value":"ignore"},
2869 {"type":"Text","value":"\n\n"},
2870 {"type":"Keyword","value":"let"},
2871 {"type":"Text","value":" "},
2872 {"type":"NameVariable","value":"inline"},
2873 {"type":"Text","value":" "},
2874 {"type":"Name","value":"isLoadingTime"},
2875 {"type":"Operator","value":"\u003c"},
2876 {"type":"Keyword","value":"'"},
2877 {"type":"Name","value":"a"},
2878 {"type":"Operator","value":"\u003e"},
2879 {"type":"Text","value":" "},
2880 {"type":"Operator","value":"="},
2881 {"type":"Text","value":" "},
2882 {"type":"LiteralString","value":"\"\""},
2883 {"type":"Text","value":"\n"},
2884 {"type":"Keyword","value":"let"},
2885 {"type":"Text","value":" "},
2886 {"type":"NameVariable","value":"inline"},
2887 {"type":"Text","value":" "},
2888 {"type":"Name","value":"isLoadingTime"},
2889 {"type":"Operator","value":"\u003c"},
2890 {"type":"Keyword","value":"'"},
2891 {"type":"Name","value":"a"},
2892 {"type":"Operator","value":","},
2893 {"type":"Text","value":" "},
2894 {"type":"Keyword","value":"'"},
2895 {"type":"Name","value":"b"},
2896 {"type":"Operator","value":","},
2897 {"type":"Text","value":" "},
2898 {"type":"Keyword","value":"'"},
2899 {"type":"Name","value":"c"},
2900 {"type":"Operator","value":"\u003e"},
2901 {"type":"Text","value":" "},
2902 {"type":"Operator","value":"="},
2903 {"type":"Text","value":" "},
2904 {"type":"LiteralString","value":"\"\""},
2905 {"type":"Text","value":"\n"},
2906 {"type":"Keyword","value":"let"},
2907 {"type":"Text","value":" "},
2908 {"type":"NameVariable","value":"inline"},
2909 {"type":"Text","value":" "},
2910 {"type":"Keyword","value":"method"},
2911 {"type":"Operator","value":"\u003c"},
2912 {"type":"Keyword","value":"'"},
2913 {"type":"Name","value":"a"},
2914 {"type":"Operator","value":"\u003e"},
2915 {"type":"Text","value":" "},
2916 {"type":"Name","value":"prefix"},
2917 {"type":"Text","value":" "},
2918 {"type":"Name","value":"chunck"},
2919 {"type":"Text","value":" "},
2920 {"type":"Name","value":"dzd"},
2921 {"type":"Text","value":" "},
2922 {"type":"Name","value":"zd"},
2923 {"type":"Text","value":" "},
2924 {"type":"Operator","value":"="},
2925 {"type":"Text","value":" "},
2926 {"type":"Name","value":"promise"},
2927 {"type":"Text","value":" "},
2928 {"type":"Operator","value":"{"},
2929 {"type":"Text","value":"\n "},
2930 {"type":"Keyword","value":"let!"},
2931 {"type":"Text","value":" "},
2932 {"type":"NameVariable","value":"dzdz"},
2933 {"type":"Text","value":" "},
2934 {"type":"Operator","value":"="},
2935 {"type":"Text","value":" "},
2936 {"type":"LiteralString","value":"\"\""},
2937 {"type":"Text","value":"\n "},
2938 {"type":"Operator","value":"}"},
2939 {"type":"Text","value":"\n\n\n"},
2940 {"type":"Keyword","value":"let"},
2941 {"type":"Text","value":" "},
2942 {"type":"NameVariable","value":"v"},
2943 {"type":"Text","value":" "},
2944 {"type":"Name","value":"``var with spaces``"},
2945 {"type":"Operator","value":"="},
2946 {"type":"Text","value":" "},
2947 {"type":"LiteralString","value":"\"\""},
2948 {"type":"Text","value":"\n\n"},
2949 {"type":"Keyword","value":"let"},
2950 {"type":"Text","value":" "},
2951 {"type":"NameVariable","value":"printFullName"},
2952 {"type":"Text","value":" "},
2953 {"type":"Operator","value":"{"},
2954 {"type":"Text","value":" "},
2955 {"type":"Name","value":"Firstname"},
2956 {"type":"Text","value":" "},
2957 {"type":"Operator","value":"="},
2958 {"type":"Text","value":" "},
2959 {"type":"Name","value":"firstname"},
2960 {"type":"Operator","value":";"},
2961 {"type":"Text","value":" "},
2962 {"type":"Name","value":"Surname"},
2963 {"type":"Text","value":" "},
2964 {"type":"Operator","value":"="},
2965 {"type":"Text","value":" "},
2966 {"type":"Name","value":"surname"},
2967 {"type":"Text","value":" "},
2968 {"type":"Operator","value":"}"},
2969 {"type":"Text","value":" "},
2970 {"type":"Operator","value":":"},
2971 {"type":"Text","value":" "},
2972 {"type":"KeywordType","value":"string"},
2973 {"type":"Text","value":" "},
2974 {"type":"Operator","value":"="},
2975 {"type":"Text","value":" "},
2976 {"type":"Name","value":"firstname"},
2977 {"type":"Text","value":" "},
2978 {"type":"Operator","value":"+"},
2979 {"type":"Text","value":" "},
2980 {"type":"LiteralString","value":"\" \""},
2981 {"type":"Text","value":" "},
2982 {"type":"Operator","value":"+"},
2983 {"type":"Text","value":" "},
2984 {"type":"Name","value":"surname"},
2985 {"type":"Text","value":"\n"},
2986 {"type":"Keyword","value":"let"},
2987 {"type":"Text","value":" "},
2988 {"type":"NameVariable","value":"printFirstName"},
2989 {"type":"Text","value":" "},
2990 {"type":"Operator","value":"{"},
2991 {"type":"Text","value":" "},
2992 {"type":"Name","value":"Firstname"},
2993 {"type":"Text","value":" "},
2994 {"type":"Operator","value":"="},
2995 {"type":"Text","value":" "},
2996 {"type":"Name","value":"firstname"},
2997 {"type":"Text","value":" "},
2998 {"type":"Operator","value":"}"},
2999 {"type":"Text","value":" "},
3000 {"type":"Operator","value":":"},
3001 {"type":"Text","value":" "},
3002 {"type":"KeywordType","value":"string"},
3003 {"type":"Text","value":" "},
3004 {"type":"Operator","value":"="},
3005 {"type":"Text","value":" "},
3006 {"type":"Name","value":"firstname"},
3007 {"type":"Text","value":"\n"},
3008 {"type":"Keyword","value":"let"},
3009 {"type":"Text","value":" "},
3010 {"type":"NameVariable","value":"printFirstName"},
3011 {"type":"Text","value":" "},
3012 {"type":"Operator","value":"({"},
3013 {"type":"Text","value":" "},
3014 {"type":"Name","value":"Firstname"},
3015 {"type":"Text","value":" "},
3016 {"type":"Operator","value":"="},
3017 {"type":"Text","value":" "},
3018 {"type":"Name","value":"``var with spaces``"},
3019 {"type":"Text","value":" "},
3020 {"type":"Operator","value":"}"},
3021 {"type":"Text","value":" "},
3022 {"type":"Operator","value":":"},
3023 {"type":"Text","value":" "},
3024 {"type":"Name","value":"NameRecord"},
3025 {"type":"Operator","value":")"},
3026 {"type":"Text","value":" "},
3027 {"type":"Operator","value":"("},
3028 {"type":"Text","value":" "},
3029 {"type":"Operator","value":"_"},
3030 {"type":"Text","value":" "},
3031 {"type":"Operator","value":":"},
3032 {"type":"Text","value":" "},
3033 {"type":"KeywordType","value":"obj"},
3034 {"type":"Operator","value":")"},
3035 {"type":"Text","value":" "},
3036 {"type":"Operator","value":":"},
3037 {"type":"Text","value":" "},
3038 {"type":"KeywordType","value":"string"},
3039 {"type":"Text","value":" "},
3040 {"type":"Operator","value":"="},
3041 {"type":"Text","value":" "},
3042 {"type":"Name","value":"``var with spaces``"},
3043 {"type":"Text","value":"\n\n\n"},
3044 {"type":"Keyword","value":"let"},
3045 {"type":"Text","value":" "},
3046 {"type":"Name","value":"``test multiple backticks``"},
3047 {"type":"Text","value":" "},
3048 {"type":"Operator","value":"="},
3049 {"type":"Text","value":" "},
3050 {"type":"Name","value":"row"},
3051 {"type":"Operator","value":"."},
3052 {"type":"Name","value":"``maxime``"},
3053 {"type":"Operator","value":"."},
3054 {"type":"Name","value":"Trim"},
3055 {"type":"NameBuiltinPseudo","value":"()"},
3056 {"type":"Operator","value":","},
3057 {"type":"Text","value":" "},
3058 {"type":"Name","value":"row"},
3059 {"type":"Operator","value":"."},
3060 {"type":"Name","value":"``Last Update``"},
3061 {"type":"Text","value":" "},
3062 {"type":"CommentSingle","value":"// Test multiple backticks on the same line\n"},
3063 {"type":"Text","value":"\n"},
3064 {"type":"Keyword","value":"let"},
3065 {"type":"Text","value":" "},
3066 {"type":"NameVariable","value":"nestedRecords"},
3067 {"type":"Text","value":" "},
3068 {"type":"Operator","value":"({"},
3069 {"type":"Text","value":" "},
3070 {"type":"Name","value":"Nested"},
3071 {"type":"Text","value":" "},
3072 {"type":"Operator","value":"="},
3073 {"type":"Text","value":" "},
3074 {"type":"Operator","value":"{"},
3075 {"type":"Text","value":" "},
3076 {"type":"Name","value":"Nested"},
3077 {"type":"Text","value":" "},
3078 {"type":"Operator","value":"="},
3079 {"type":"Text","value":" "},
3080 {"type":"Operator","value":"{"},
3081 {"type":"Text","value":" "},
3082 {"type":"Name","value":"Nested"},
3083 {"type":"Text","value":" "},
3084 {"type":"Operator","value":"="},
3085 {"type":"Text","value":" "},
3086 {"type":"Operator","value":"{"},
3087 {"type":"Text","value":" "},
3088 {"type":"Name","value":"Nested"},
3089 {"type":"Text","value":" "},
3090 {"type":"Operator","value":"="},
3091 {"type":"Text","value":" "},
3092 {"type":"Name","value":"value"},
3093 {"type":"Text","value":" "},
3094 {"type":"Operator","value":"};"},
3095 {"type":"Text","value":" "},
3096 {"type":"Name","value":"PropB"},
3097 {"type":"Text","value":" "},
3098 {"type":"Operator","value":"="},
3099 {"type":"Text","value":" "},
3100 {"type":"Operator","value":"_"},
3101 {"type":"Text","value":" "},
3102 {"type":"Operator","value":"}"},
3103 {"type":"Text","value":" "},
3104 {"type":"Operator","value":"};"},
3105 {"type":"Text","value":" "},
3106 {"type":"Name","value":"PropB"},
3107 {"type":"Text","value":" "},
3108 {"type":"Operator","value":"="},
3109 {"type":"Text","value":" "},
3110 {"type":"Name","value":"propB"},
3111 {"type":"Text","value":" "},
3112 {"type":"Operator","value":"}"},
3113 {"type":"Text","value":" "},
3114 {"type":"Operator","value":":"},
3115 {"type":"Text","value":" "},
3116 {"type":"Name","value":"NestedRecord"},
3117 {"type":"Operator","value":")"},
3118 {"type":"Text","value":" "},
3119 {"type":"Operator","value":":"},
3120 {"type":"Text","value":" "},
3121 {"type":"KeywordType","value":"string"},
3122 {"type":"Text","value":" "},
3123 {"type":"Operator","value":"="},
3124 {"type":"Text","value":" "},
3125 {"type":"Name","value":"value"},
3126 {"type":"Operator","value":"."},
3127 {"type":"Name","value":"PropB"},
3128 {"type":"Text","value":" "},
3129 {"type":"Operator","value":"+"},
3130 {"type":"Text","value":" "},
3131 {"type":"LiteralString","value":"\" \""},
3132 {"type":"Text","value":" "},
3133 {"type":"Operator","value":"+"},
3134 {"type":"Text","value":" "},
3135 {"type":"Name","value":"propB"},
3136 {"type":"Text","value":"\n\n"},
3137 {"type":"Keyword","value":"let"},
3138 {"type":"Text","value":" "},
3139 {"type":"NameVariable","value":"variable"},
3140 {"type":"Text","value":" "},
3141 {"type":"Operator","value":"="},
3142 {"type":"Text","value":" "},
3143 {"type":"LiteralString","value":"\"value\""},
3144 {"type":"Text","value":"\n\n"},
3145 {"type":"CommentSingle","value":"// Check that style is apply even when declaration is on multiple lines\n"},
3146 {"type":"Keyword","value":"let"},
3147 {"type":"Text","value":" "},
3148 {"type":"NameVariable","value":"func"},
3149 {"type":"Text","value":" "},
3150 {"type":"Name","value":"arg1"},
3151 {"type":"Text","value":" "},
3152 {"type":"Name","value":"arg2"},
3153 {"type":"Text","value":" "},
3154 {"type":"Operator","value":"="},
3155 {"type":"Text","value":" "},
3156 {"type":"LiteralString","value":"\"\""},
3157 {"type":"Text","value":"\n\n"},
3158 {"type":"Keyword","value":"let"},
3159 {"type":"Text","value":" "},
3160 {"type":"NameVariable","value":"func"},
3161 {"type":"Text","value":"\n "},
3162 {"type":"Name","value":"arg1"},
3163 {"type":"Text","value":" "},
3164 {"type":"Name","value":"arg2"},
3165 {"type":"Text","value":" "},
3166 {"type":"Operator","value":"="},
3167 {"type":"Text","value":" "},
3168 {"type":"LiteralString","value":"\"\""},
3169 {"type":"Text","value":"\n\n"},
3170 {"type":"Keyword","value":"let"},
3171 {"type":"Text","value":" "},
3172 {"type":"NameVariable","value":"func"},
3173 {"type":"Text","value":"\n "},
3174 {"type":"Name","value":"arg1"},
3175 {"type":"Text","value":"\n "},
3176 {"type":"Name","value":"arg2"},
3177 {"type":"Text","value":" "},
3178 {"type":"Operator","value":"="},
3179 {"type":"Text","value":" "},
3180 {"type":"LiteralString","value":"\"\""},
3181 {"type":"Text","value":"\n\n"},
3182 {"type":"CommentSingle","value":"// Check that option is also colored as part of the type definition\n"},
3183 {"type":"Keyword","value":"let"},
3184 {"type":"Text","value":" "},
3185 {"type":"NameVariable","value":"debounce"},
3186 {"type":"Text","value":" "},
3187 {"type":"Operator","value":"("},
3188 {"type":"Name","value":"debounce"},
3189 {"type":"Text","value":" "},
3190 {"type":"Operator","value":":"},
3191 {"type":"Text","value":" "},
3192 {"type":"Name","value":"int"},
3193 {"type":"Text","value":" "},
3194 {"type":"Name","value":"option"},
3195 {"type":"Operator","value":")"},
3196 {"type":"Text","value":" "},
3197 {"type":"Operator","value":"="},
3198 {"type":"Text","value":" "},
3199 {"type":"LiteralString","value":"\"\""},
3200 {"type":"Text","value":"\n\n"},
3201 {"type":"CommentSingle","value":"// Check output type coloration\n"},
3202 {"type":"Keyword","value":"let"},
3203 {"type":"Text","value":" "},
3204 {"type":"NameVariable","value":"mutable"},
3205 {"type":"Text","value":" "},
3206 {"type":"Name","value":"timeoutID"},
3207 {"type":"Text","value":" "},
3208 {"type":"Operator","value":":"},
3209 {"type":"Text","value":" "},
3210 {"type":"KeywordType","value":"float"},
3211 {"type":"Text","value":" "},
3212 {"type":"Operator","value":"="},
3213 {"type":"Text","value":" "},
3214 {"type":"Name","value":"0"},
3215 {"type":"Operator","value":"."},
3216 {"type":"Text","value":"\n"},
3217 {"type":"Keyword","value":"let"},
3218 {"type":"Text","value":" "},
3219 {"type":"NameVariable","value":"test2"},
3220 {"type":"Text","value":" "},
3221 {"type":"Name","value":"test"},
3222 {"type":"Text","value":" "},
3223 {"type":"Operator","value":"("},
3224 {"type":"Name","value":"timeoutID"},
3225 {"type":"Text","value":" "},
3226 {"type":"Operator","value":":"},
3227 {"type":"Text","value":" "},
3228 {"type":"KeywordType","value":"float"},
3229 {"type":"Text","value":" "},
3230 {"type":"Name","value":"option"},
3231 {"type":"Operator","value":")"},
3232 {"type":"Text","value":" "},
3233 {"type":"Operator","value":":"},
3234 {"type":"Text","value":" "},
3235 {"type":"Name","value":"int"},
3236 {"type":"Text","value":" "},
3237 {"type":"Name","value":"option"},
3238 {"type":"Text","value":" "},
3239 {"type":"Operator","value":"="},
3240 {"type":"Text","value":" "},
3241 {"type":"Name","value":"None"},
3242 {"type":"Text","value":"\n\n"},
3243 {"type":"Keyword","value":"module"},
3244 {"type":"Text","value":" "},
3245 {"type":"NameNamespace","value":"test"},
3246 {"type":"Text","value":" "},
3247 {"type":"Operator","value":"="},
3248 {"type":"Text","value":"\n "},
3249 {"type":"Keyword","value":"let"},
3250 {"type":"Text","value":" "},
3251 {"type":"NameVariable","value":"t"},
3252 {"type":"Text","value":" "},
3253 {"type":"Operator","value":"="},
3254 {"type":"Text","value":" "},
3255 {"type":"Name","value":"1"},
3256 {"type":"Text","value":"\n\n"},
3257 {"type":"Keyword","value":"module"},
3258 {"type":"Text","value":" "},
3259 {"type":"NameNamespace","value":"accentué"},
3260 {"type":"Text","value":" "},
3261 {"type":"Operator","value":"="},
3262 {"type":"Text","value":"\n "},
3263 {"type":"Keyword","value":"let"},
3264 {"type":"Text","value":" "},
3265 {"type":"NameVariable","value":"t"},
3266 {"type":"Text","value":" "},
3267 {"type":"Operator","value":"="},
3268 {"type":"Text","value":" "},
3269 {"type":"Name","value":"1"},
3270 {"type":"Text","value":"\n\n"},
3271 {"type":"Keyword","value":"open"},
3272 {"type":"Text","value":" "},
3273 {"type":"NameNamespace","value":"test"},
3274 {"type":"Text","value":"\n\n"},
3275 {"type":"Keyword","value":"type"},
3276 {"type":"Text","value":" "},
3277 {"type":"NameClass","value":"MutableMembersTest"},
3278 {"type":"Text","value":" "},
3279 {"type":"Operator","value":"="},
3280 {"type":"Text","value":" "},
3281 {"type":"Operator","value":"{"},
3282 {"type":"Text","value":"\n "},
3283 {"type":"Keyword","value":"mutable"},
3284 {"type":"Text","value":" "},
3285 {"type":"Name","value":"test"},
3286 {"type":"Operator","value":":"},
3287 {"type":"Text","value":" "},
3288 {"type":"KeywordType","value":"string"},
3289 {"type":"Text","value":"\n"},
3290 {"type":"Operator","value":"}"},
3291 {"type":"Text","value":"\n\n"},
3292 {"type":"CommentSingle","value":"// Test that variable named like: keyword' isn't colored in a match statement\n"},
3293 {"type":"Keyword","value":"let"},
3294 {"type":"Text","value":" "},
3295 {"type":"NameVariable","value":"test"},
3296 {"type":"Text","value":" "},
3297 {"type":"Keyword","value":"match'"},
3298 {"type":"Text","value":" "},
3299 {"type":"Operator","value":"="},
3300 {"type":"Text","value":"\n "},
3301 {"type":"Keyword","value":"match"},
3302 {"type":"Text","value":" "},
3303 {"type":"Keyword","value":"match'"},
3304 {"type":"Text","value":" "},
3305 {"type":"Keyword","value":"with"},
3306 {"type":"Text","value":"\n "},
3307 {"type":"Operator","value":"|"},
3308 {"type":"Text","value":" "},
3309 {"type":"Name","value":"CaseA"},
3310 {"type":"Text","value":" "},
3311 {"type":"Operator","value":"-\u003e"},
3312 {"type":"Text","value":" "},
3313 {"type":"LiteralString","value":"\"\""},
3314 {"type":"Text","value":"\n "},
3315 {"type":"Operator","value":"|"},
3316 {"type":"Text","value":" "},
3317 {"type":"Name","value":"CaseB"},
3318 {"type":"Text","value":" "},
3319 {"type":"Operator","value":"-\u003e"},
3320 {"type":"Text","value":" "},
3321 {"type":"LiteralString","value":"\"\""},
3322 {"type":"Text","value":"\n\n"},
3323 {"type":"Keyword","value":"let"},
3324 {"type":"Text","value":" "},
3325 {"type":"NameVariable","value":"test2"},
3326 {"type":"Text","value":" "},
3327 {"type":"Keyword","value":"return'"},
3328 {"type":"Text","value":" "},
3329 {"type":"Operator","value":"="},
3330 {"type":"Text","value":"\n "},
3331 {"type":"Keyword","value":"match"},
3332 {"type":"Text","value":" "},
3333 {"type":"Keyword","value":"return'"},
3334 {"type":"Text","value":" "},
3335 {"type":"Keyword","value":"with"},
3336 {"type":"Text","value":"\n "},
3337 {"type":"Operator","value":"|"},
3338 {"type":"Text","value":" "},
3339 {"type":"Name","value":"CaseA"},
3340 {"type":"Text","value":" "},
3341 {"type":"Operator","value":"-\u003e"},
3342 {"type":"Text","value":" "},
3343 {"type":"LiteralString","value":"\"\""},
3344 {"type":"Text","value":"\n "},
3345 {"type":"Operator","value":"|"},
3346 {"type":"Text","value":" "},
3347 {"type":"Name","value":"CaseB"},
3348 {"type":"Text","value":" "},
3349 {"type":"Operator","value":"-\u003e"},
3350 {"type":"Text","value":" "},
3351 {"type":"LiteralString","value":"\"\""},
3352 {"type":"Text","value":"\n\n"},
3353 {"type":"Keyword","value":"type"},
3354 {"type":"Text","value":" "},
3355 {"type":"NameClass","value":"RequestData"},
3356 {"type":"Text","value":" "},
3357 {"type":"Operator","value":"="},
3358 {"type":"Text","value":"\n "},
3359 {"type":"Operator","value":"{"},
3360 {"type":"Text","value":" "},
3361 {"type":"Name","value":"Params"},
3362 {"type":"Text","value":" "},
3363 {"type":"Operator","value":":"},
3364 {"type":"Text","value":" "},
3365 {"type":"KeywordType","value":"string"},
3366 {"type":"Text","value":" "},
3367 {"type":"Operator","value":"}"},
3368 {"type":"Text","value":"\n\n"},
3369 {"type":"Keyword","value":"type"},
3370 {"type":"Text","value":" "},
3371 {"type":"NameClass","value":"Client"},
3372 {"type":"Text","value":" "},
3373 {"type":"NameBuiltinPseudo","value":"()"},
3374 {"type":"Text","value":" "},
3375 {"type":"Operator","value":"="},
3376 {"type":"Text","value":"\n "},
3377 {"type":"Keyword","value":"member"},
3378 {"type":"Text","value":" "},
3379 {"type":"Name","value":"this"},
3380 {"type":"Punctuation","value":"."},
3381 {"type":"NameFunction","value":"Request"},
3382 {"type":"Text","value":" "},
3383 {"type":"Operator","value":"("},
3384 {"type":"Name","value":"req"},
3385 {"type":"Text","value":" "},
3386 {"type":"Operator","value":":"},
3387 {"type":"Text","value":" "},
3388 {"type":"Name","value":"RequestData"},
3389 {"type":"Operator","value":")"},
3390 {"type":"Text","value":" "},
3391 {"type":"Operator","value":"="},
3392 {"type":"Text","value":" "},
3393 {"type":"LiteralString","value":"\"\""},
3394 {"type":"Text","value":"\n\n"},
3395 {"type":"Keyword","value":"let"},
3396 {"type":"Text","value":" "},
3397 {"type":"NameVariable","value":"res"},
3398 {"type":"Text","value":" "},
3399 {"type":"Operator","value":"("},
3400 {"type":"Name","value":"client"},
3401 {"type":"Text","value":" "},
3402 {"type":"Operator","value":":"},
3403 {"type":"Text","value":" "},
3404 {"type":"Name","value":"Client"},
3405 {"type":"Operator","value":","},
3406 {"type":"Text","value":" "},
3407 {"type":"Name","value":"extraParam"},
3408 {"type":"Operator","value":")"},
3409 {"type":"Text","value":" "},
3410 {"type":"Operator","value":"="},
3411 {"type":"Text","value":" "},
3412 {"type":"Name","value":"client"},
3413 {"type":"Operator","value":"."},
3414 {"type":"Name","value":"Request"},
3415 {"type":"Text","value":" "},
3416 {"type":"Operator","value":"{"},
3417 {"type":"Text","value":" "},
3418 {"type":"Name","value":"Params"},
3419 {"type":"Text","value":" "},
3420 {"type":"Operator","value":"="},
3421 {"type":"Text","value":" "},
3422 {"type":"LiteralString","value":"\"\""},
3423 {"type":"Text","value":" "},
3424 {"type":"Operator","value":"}"},
3425 {"type":"Text","value":"\n\n"},
3426 {"type":"Operator","value":"[\u003c"},
3427 {"type":"Name","value":"Measure"},
3428 {"type":"Operator","value":"\u003e]"},
3429 {"type":"Text","value":"\n"},
3430 {"type":"Keyword","value":"type"},
3431 {"type":"Text","value":" "},
3432 {"type":"NameClass","value":"kg"},
3433 {"type":"Text","value":"\n\n"},
3434 {"type":"Keyword","value":"let"},
3435 {"type":"Text","value":" "},
3436 {"type":"NameVariable","value":"forLoop"},
3437 {"type":"Text","value":" "},
3438 {"type":"Operator","value":"="},
3439 {"type":"Text","value":"\n "},
3440 {"type":"Operator","value":"["},
3441 {"type":"Text","value":" "},
3442 {"type":"Keyword","value":"for"},
3443 {"type":"Text","value":" "},
3444 {"type":"Name","value":"index"},
3445 {"type":"Text","value":" "},
3446 {"type":"Operator","value":"="},
3447 {"type":"Text","value":" "},
3448 {"type":"Name","value":"0"},
3449 {"type":"Text","value":" "},
3450 {"type":"Keyword","value":"to"},
3451 {"type":"Text","value":" "},
3452 {"type":"Name","value":"1"},
3453 {"type":"Text","value":" "},
3454 {"type":"Keyword","value":"do"},
3455 {"type":"Text","value":"\n "},
3456 {"type":"Keyword","value":"yield"},
3457 {"type":"Text","value":" "},
3458 {"type":"Name","value":"index"},
3459 {"type":"Text","value":" "},
3460 {"type":"Operator","value":"]"},
3461 {"type":"Text","value":"\n\n"},
3462 {"type":"Keyword","value":"type"},
3463 {"type":"Text","value":" "},
3464 {"type":"NameClass","value":"GenType"},
3465 {"type":"Operator","value":"\u003c"},
3466 {"type":"Keyword","value":"'"},
3467 {"type":"Name","value":"a"},
3468 {"type":"Operator","value":"\u003e"},
3469 {"type":"Text","value":" "},
3470 {"type":"Operator","value":"="},
3471 {"type":"Text","value":" "},
3472 {"type":"Keyword","value":"'"},
3473 {"type":"Name","value":"a"},
3474 {"type":"Text","value":"\n\n"},
3475 {"type":"Keyword","value":"type"},
3476 {"type":"Text","value":" "},
3477 {"type":"Name","value":"``type with spaces``"},
3478 {"type":"Text","value":" "},
3479 {"type":"Operator","value":"="},
3480 {"type":"Text","value":" "},
3481 {"type":"KeywordType","value":"obj"},
3482 {"type":"Text","value":"\n\n"},
3483 {"type":"Keyword","value":"let"},
3484 {"type":"Text","value":" "},
3485 {"type":"NameVariable","value":"t"},
3486 {"type":"Text","value":" "},
3487 {"type":"Operator","value":":"},
3488 {"type":"Text","value":" "},
3489 {"type":"Name","value":"``type with spaces``"},
3490 {"type":"Text","value":" "},
3491 {"type":"Operator","value":"="},
3492 {"type":"Text","value":" "},
3493 {"type":"Keyword","value":"null"},
3494 {"type":"Text","value":"\n"},
3495 {"type":"Keyword","value":"let"},
3496 {"type":"Text","value":" "},
3497 {"type":"NameVariable","value":"t2"},
3498 {"type":"Text","value":" "},
3499 {"type":"Operator","value":":"},
3500 {"type":"Text","value":" "},
3501 {"type":"KeywordType","value":"obj"},
3502 {"type":"Text","value":" "},
3503 {"type":"Operator","value":"="},
3504 {"type":"Text","value":" "},
3505 {"type":"Keyword","value":"null"},
3506 {"type":"Text","value":"\n\n"},
3507 {"type":"Keyword","value":"type"},
3508 {"type":"Text","value":" "},
3509 {"type":"NameClass","value":"TestDUTypeColoration"},
3510 {"type":"Text","value":" "},
3511 {"type":"Operator","value":"="},
3512 {"type":"Text","value":"\n "},
3513 {"type":"Operator","value":"|"},
3514 {"type":"Text","value":" "},
3515 {"type":"Name","value":"CaseA"},
3516 {"type":"Text","value":"\n "},
3517 {"type":"Operator","value":"|"},
3518 {"type":"Text","value":" "},
3519 {"type":"Name","value":"CaseB"},
3520 {"type":"Text","value":" "},
3521 {"type":"Keyword","value":"of"},
3522 {"type":"Text","value":" "},
3523 {"type":"Name","value":"int"},
3524 {"type":"Text","value":"\n "},
3525 {"type":"Operator","value":"|"},
3526 {"type":"Text","value":" "},
3527 {"type":"Name","value":"CaseC"},
3528 {"type":"Text","value":" "},
3529 {"type":"Keyword","value":"of"},
3530 {"type":"Text","value":" "},
3531 {"type":"Operator","value":"("},
3532 {"type":"Name","value":"int"},
3533 {"type":"Text","value":" "},
3534 {"type":"Operator","value":"*"},
3535 {"type":"Text","value":" "},
3536 {"type":"Operator","value":"("},
3537 {"type":"KeywordType","value":"string"},
3538 {"type":"Text","value":" "},
3539 {"type":"Operator","value":"*"},
3540 {"type":"Text","value":" "},
3541 {"type":"KeywordType","value":"string"},
3542 {"type":"Operator","value":")"},
3543 {"type":"Text","value":" "},
3544 {"type":"KeywordType","value":"list"},
3545 {"type":"Operator","value":")"},
3546 {"type":"Text","value":"\n "},
3547 {"type":"Operator","value":"|"},
3548 {"type":"Text","value":" "},
3549 {"type":"Name","value":"CaseD"},
3550 {"type":"Text","value":" "},
3551 {"type":"Keyword","value":"of"},
3552 {"type":"Text","value":" "},
3553 {"type":"Name","value":"name"},
3554 {"type":"Text","value":" "},
3555 {"type":"Operator","value":":"},
3556 {"type":"KeywordType","value":"string"},
3557 {"type":"Text","value":" "},
3558 {"type":"Operator","value":"*"},
3559 {"type":"Text","value":" "},
3560 {"type":"Name","value":"age"},
3561 {"type":"Operator","value":":"},
3562 {"type":"Name","value":"int"},
3563 {"type":"Text","value":"\n "},
3564 {"type":"Operator","value":"|"},
3565 {"type":"Text","value":" "},
3566 {"type":"Name","value":"CaseE"},
3567 {"type":"Text","value":" "},
3568 {"type":"Keyword","value":"of"},
3569 {"type":"Text","value":" "},
3570 {"type":"Name","value":"client"},
3571 {"type":"Operator","value":":"},
3572 {"type":"Text","value":" "},
3573 {"type":"Name","value":"Client"},
3574 {"type":"Text","value":"\n "},
3575 {"type":"Operator","value":"|"},
3576 {"type":"Text","value":" "},
3577 {"type":"Name","value":"CaseF"},
3578 {"type":"Text","value":" "},
3579 {"type":"Keyword","value":"of"},
3580 {"type":"Text","value":" "},
3581 {"type":"Name","value":"client"},
3582 {"type":"Operator","value":":"},
3583 {"type":"Text","value":" "},
3584 {"type":"Name","value":"Client"},
3585 {"type":"Text","value":" "},
3586 {"type":"Comment","value":"(*comment tests*)"},
3587 {"type":"Text","value":" "},
3588 {"type":"Operator","value":"*"},
3589 {"type":"Text","value":" "},
3590 {"type":"Comment","value":"(*comment tests*)"},
3591 {"type":"Text","value":" "},
3592 {"type":"KeywordType","value":"string"},
3593 {"type":"Text","value":" "},
3594 {"type":"Operator","value":"*"},
3595 {"type":"Text","value":" "},
3596 {"type":"Name","value":"port"},
3597 {"type":"Text","value":" "},
3598 {"type":"Operator","value":":"},
3599 {"type":"Text","value":" "},
3600 {"type":"Name","value":"int"},
3601 {"type":"Text","value":"\n "},
3602 {"type":"Operator","value":"|"},
3603 {"type":"Text","value":" "},
3604 {"type":"Name","value":"CaseG"},
3605 {"type":"Text","value":" "},
3606 {"type":"Keyword","value":"of"},
3607 {"type":"Text","value":" "},
3608 {"type":"Operator","value":"("},
3609 {"type":"KeywordType","value":"obj"},
3610 {"type":"Text","value":" "},
3611 {"type":"Operator","value":"-\u003e"},
3612 {"type":"Text","value":" "},
3613 {"type":"KeywordType","value":"unit"},
3614 {"type":"Operator","value":")"},
3615 {"type":"Text","value":"\n "},
3616 {"type":"Operator","value":"|"},
3617 {"type":"Text","value":" "},
3618 {"type":"Name","value":"CaseH"},
3619 {"type":"Text","value":" "},
3620 {"type":"Keyword","value":"of"},
3621 {"type":"Text","value":" "},
3622 {"type":"KeywordType","value":"string"},
3623 {"type":"Text","value":" "},
3624 {"type":"Operator","value":"*"},
3625 {"type":"Text","value":" "},
3626 {"type":"Operator","value":"("},
3627 {"type":"KeywordType","value":"obj"},
3628 {"type":"Text","value":" "},
3629 {"type":"Operator","value":"-\u003e"},
3630 {"type":"Text","value":" "},
3631 {"type":"KeywordType","value":"unit"},
3632 {"type":"Operator","value":")"},
3633 {"type":"Text","value":"\n "},
3634 {"type":"CommentSingle","value":"// Check multiple declaration on one line\n"},
3635 {"type":"Text","value":" "},
3636 {"type":"Operator","value":"|"},
3637 {"type":"Text","value":" "},
3638 {"type":"Name","value":"CaseI"},
3639 {"type":"Text","value":" "},
3640 {"type":"Keyword","value":"of"},
3641 {"type":"Text","value":" "},
3642 {"type":"Name","value":"int"},
3643 {"type":"Text","value":" "},
3644 {"type":"Operator","value":"|"},
3645 {"type":"Text","value":" "},
3646 {"type":"Name","value":"CaseJ"},
3647 {"type":"Text","value":" "},
3648 {"type":"Keyword","value":"of"},
3649 {"type":"Text","value":" "},
3650 {"type":"Name","value":"int"},
3651 {"type":"Text","value":"\n "},
3652 {"type":"Operator","value":"|"},
3653 {"type":"Text","value":" "},
3654 {"type":"Name","value":"CaseF2"},
3655 {"type":"Text","value":" "},
3656 {"type":"Keyword","value":"of"},
3657 {"type":"Text","value":" "},
3658 {"type":"Name","value":"client"},
3659 {"type":"Operator","value":":"},
3660 {"type":"Text","value":" "},
3661 {"type":"Name","value":"Client"},
3662 {"type":"Text","value":" "},
3663 {"type":"CommentSingle","value":"// * string * port : int\n"},
3664 {"type":"Text","value":" "},
3665 {"type":"Operator","value":"|"},
3666 {"type":"Text","value":" "},
3667 {"type":"Name","value":"FetchDomainsSuccess"},
3668 {"type":"Text","value":" "},
3669 {"type":"Keyword","value":"of"},
3670 {"type":"Text","value":" "},
3671 {"type":"Name","value":"Result"},
3672 {"type":"Operator","value":"\u003c"},
3673 {"type":"Name","value":"int"},
3674 {"type":"Text","value":" "},
3675 {"type":"KeywordType","value":"list"},
3676 {"type":"Text","value":" "},
3677 {"type":"Operator","value":"*"},
3678 {"type":"Text","value":" "},
3679 {"type":"Name","value":"``type with spaces``"},
3680 {"type":"Text","value":" "},
3681 {"type":"Operator","value":"*"},
3682 {"type":"Text","value":" "},
3683 {"type":"Name","value":"int"},
3684 {"type":"Operator","value":","},
3685 {"type":"Text","value":" "},
3686 {"type":"Name","value":"``type with spaces``"},
3687 {"type":"Operator","value":"\u003e"},
3688 {"type":"Text","value":"\n "},
3689 {"type":"Operator","value":"|"},
3690 {"type":"Text","value":" "},
3691 {"type":"Name","value":"CaseK"},
3692 {"type":"Text","value":" "},
3693 {"type":"Keyword","value":"of"},
3694 {"type":"Text","value":" "},
3695 {"type":"Name","value":"``var with spaces``"},
3696 {"type":"Operator","value":":"},
3697 {"type":"Text","value":" "},
3698 {"type":"KeywordType","value":"string"},
3699 {"type":"Text","value":"\n "},
3700 {"type":"Operator","value":"|"},
3701 {"type":"Text","value":" "},
3702 {"type":"Name","value":"CaseL"},
3703 {"type":"Text","value":" "},
3704 {"type":"Keyword","value":"of"},
3705 {"type":"Text","value":" "},
3706 {"type":"Name","value":"``var with spaces``"},
3707 {"type":"Operator","value":":"},
3708 {"type":"Text","value":" "},
3709 {"type":"Name","value":"``type with spaces``"},
3710 {"type":"Text","value":"\n "},
3711 {"type":"Operator","value":"|"},
3712 {"type":"Text","value":" "},
3713 {"type":"Name","value":"CaseM"},
3714 {"type":"Text","value":" "},
3715 {"type":"Keyword","value":"of"},
3716 {"type":"Text","value":" "},
3717 {"type":"Name","value":"v1"},
3718 {"type":"Text","value":" "},
3719 {"type":"Operator","value":":"},
3720 {"type":"Text","value":" "},
3721 {"type":"Name","value":"``type with spaces``"},
3722 {"type":"Text","value":"\n "},
3723 {"type":"Operator","value":"|"},
3724 {"type":"Text","value":" "},
3725 {"type":"Name","value":"CaseN"},
3726 {"type":"Text","value":" "},
3727 {"type":"Keyword","value":"of"},
3728 {"type":"Text","value":" "},
3729 {"type":"Name","value":"``type with spaces``"},
3730 {"type":"Text","value":"\n\n"},
3731 {"type":"Keyword","value":"type"},
3732 {"type":"Text","value":" "},
3733 {"type":"NameClass","value":"TestRecordColoration"},
3734 {"type":"Operator","value":"\u003c"},
3735 {"type":"Keyword","value":"'"},
3736 {"type":"Name","value":"a"},
3737 {"type":"Operator","value":"\u003e"},
3738 {"type":"Text","value":" "},
3739 {"type":"Operator","value":"="},
3740 {"type":"Text","value":"\n "},
3741 {"type":"Operator","value":"{"},
3742 {"type":"Text","value":" "},
3743 {"type":"Name","value":"Firstname"},
3744 {"type":"Text","value":" "},
3745 {"type":"Operator","value":":"},
3746 {"type":"Text","value":" "},
3747 {"type":"KeywordType","value":"string"},
3748 {"type":"Text","value":"\n "},
3749 {"type":"Name","value":"Lastname"},
3750 {"type":"Text","value":" "},
3751 {"type":"Operator","value":":"},
3752 {"type":"Text","value":" "},
3753 {"type":"KeywordType","value":"string"},
3754 {"type":"Text","value":"\n "},
3755 {"type":"LiteralStringDoc","value":"/// Test docs comments works with `markdown`\n"},
3756 {"type":"Text","value":" "},
3757 {"type":"Name","value":"Age"},
3758 {"type":"Text","value":" "},
3759 {"type":"Operator","value":":"},
3760 {"type":"Text","value":" "},
3761 {"type":"Comment","value":"(*comment tests*)"},
3762 {"type":"Text","value":" "},
3763 {"type":"Name","value":"int"},
3764 {"type":"Text","value":"\n "},
3765 {"type":"Name","value":"Notify"},
3766 {"type":"Text","value":" "},
3767 {"type":"Operator","value":":"},
3768 {"type":"Text","value":" "},
3769 {"type":"KeywordType","value":"string"},
3770 {"type":"Text","value":" "},
3771 {"type":"Operator","value":"-\u003e"},
3772 {"type":"Text","value":" "},
3773 {"type":"KeywordType","value":"unit"},
3774 {"type":"Text","value":"\n "},
3775 {"type":"Name","value":"Notify2"},
3776 {"type":"Text","value":" "},
3777 {"type":"Operator","value":":"},
3778 {"type":"Text","value":" "},
3779 {"type":"KeywordType","value":"string"},
3780 {"type":"Text","value":" "},
3781 {"type":"Operator","value":"-\u003e"},
3782 {"type":"KeywordType","value":"unit"},
3783 {"type":"Text","value":"\n "},
3784 {"type":"Name","value":"Notify3"},
3785 {"type":"Text","value":" "},
3786 {"type":"Operator","value":":"},
3787 {"type":"Text","value":" "},
3788 {"type":"KeywordType","value":"string"},
3789 {"type":"Operator","value":"-\u003e"},
3790 {"type":"Text","value":" "},
3791 {"type":"KeywordType","value":"unit"},
3792 {"type":"Text","value":"\n "},
3793 {"type":"Name","value":"Notify4"},
3794 {"type":"Text","value":" "},
3795 {"type":"Operator","value":":"},
3796 {"type":"Text","value":" "},
3797 {"type":"KeywordType","value":"string"},
3798 {"type":"Text","value":" "},
3799 {"type":"Operator","value":"-\u003e"},
3800 {"type":"Text","value":" "},
3801 {"type":"KeywordType","value":"unit"},
3802 {"type":"Text","value":"\n "},
3803 {"type":"Name","value":"Callback"},
3804 {"type":"Text","value":" "},
3805 {"type":"Operator","value":":"},
3806 {"type":"Text","value":" "},
3807 {"type":"Operator","value":"("},
3808 {"type":"KeywordType","value":"string"},
3809 {"type":"Text","value":" "},
3810 {"type":"Operator","value":"*"},
3811 {"type":"Text","value":" "},
3812 {"type":"Name","value":"int"},
3813 {"type":"Operator","value":")"},
3814 {"type":"Text","value":" "},
3815 {"type":"Operator","value":"-\u003e"},
3816 {"type":"Text","value":" "},
3817 {"type":"Name","value":"GenType"},
3818 {"type":"Operator","value":"\u003c"},
3819 {"type":"Keyword","value":"'"},
3820 {"type":"Name","value":"a"},
3821 {"type":"Operator","value":"\u003e"},
3822 {"type":"Text","value":" "},
3823 {"type":"Operator","value":"-\u003e"},
3824 {"type":"Text","value":" "},
3825 {"type":"Name","value":"Client"},
3826 {"type":"Text","value":" "},
3827 {"type":"CommentSingle","value":"// Comments tests\n"},
3828 {"type":"Text","value":" "},
3829 {"type":"Name","value":"TypeWithSpace"},
3830 {"type":"Text","value":" "},
3831 {"type":"Operator","value":":"},
3832 {"type":"Text","value":" "},
3833 {"type":"Name","value":"``type with spaces``"},
3834 {"type":"Text","value":"\n "},
3835 {"type":"Name","value":"Nested"},
3836 {"type":"Text","value":" "},
3837 {"type":"Operator","value":":"},
3838 {"type":"Text","value":" "},
3839 {"type":"Operator","value":"(("},
3840 {"type":"KeywordType","value":"string"},
3841 {"type":"Text","value":" "},
3842 {"type":"Operator","value":"*"},
3843 {"type":"Text","value":" "},
3844 {"type":"Name","value":"int"},
3845 {"type":"Operator","value":")"},
3846 {"type":"Text","value":" "},
3847 {"type":"Operator","value":"-\u003e"},
3848 {"type":"Text","value":" "},
3849 {"type":"Comment","value":"(*comment tests*)"},
3850 {"type":"Text","value":" "},
3851 {"type":"Name","value":"RequestData"},
3852 {"type":"Operator","value":")"},
3853 {"type":"Text","value":" "},
3854 {"type":"Operator","value":"-\u003e"},
3855 {"type":"Text","value":" "},
3856 {"type":"Name","value":"Client"},
3857 {"type":"Text","value":"\n "},
3858 {"type":"Keyword","value":"mutable"},
3859 {"type":"Text","value":" "},
3860 {"type":"Name","value":"Mutable"},
3861 {"type":"Text","value":" "},
3862 {"type":"Operator","value":":"},
3863 {"type":"Text","value":" "},
3864 {"type":"KeywordType","value":"obj"},
3865 {"type":"Text","value":" "},
3866 {"type":"Operator","value":"}"},
3867 {"type":"Text","value":"\n\n"},
3868 {"type":"Keyword","value":"let"},
3869 {"type":"Text","value":" "},
3870 {"type":"NameVariable","value":"testRecordColoration"},
3871 {"type":"Text","value":" "},
3872 {"type":"Operator","value":"="},
3873 {"type":"Text","value":"\n "},
3874 {"type":"Operator","value":"{"},
3875 {"type":"Text","value":" "},
3876 {"type":"Name","value":"Firstname"},
3877 {"type":"Text","value":" "},
3878 {"type":"Operator","value":"="},
3879 {"type":"Text","value":" "},
3880 {"type":"LiteralString","value":"\"string\""},
3881 {"type":"Text","value":" "},
3882 {"type":"CommentSingle","value":"// Comments should work here\n"},
3883 {"type":"Text","value":" "},
3884 {"type":"Name","value":"Lastname"},
3885 {"type":"Text","value":" "},
3886 {"type":"Operator","value":"="},
3887 {"type":"Text","value":" "},
3888 {"type":"LiteralString","value":"\"string\""},
3889 {"type":"Text","value":"\n "},
3890 {"type":"Name","value":"Age"},
3891 {"type":"Text","value":" "},
3892 {"type":"Operator","value":"="},
3893 {"type":"Text","value":" "},
3894 {"type":"Name","value":"10"},
3895 {"type":"Text","value":"\n "},
3896 {"type":"Name","value":"Notify"},
3897 {"type":"Text","value":" "},
3898 {"type":"Operator","value":"="},
3899 {"type":"Text","value":" "},
3900 {"type":"Keyword","value":"fun"},
3901 {"type":"Text","value":" "},
3902 {"type":"Operator","value":"_"},
3903 {"type":"Text","value":" "},
3904 {"type":"Operator","value":"-\u003e"},
3905 {"type":"Text","value":" "},
3906 {"type":"NameBuiltinPseudo","value":"()"},
3907 {"type":"Text","value":"\n "},
3908 {"type":"Name","value":"Notify2"},
3909 {"type":"Text","value":" "},
3910 {"type":"Operator","value":"="},
3911 {"type":"Text","value":" "},
3912 {"type":"Keyword","value":"fun"},
3913 {"type":"Text","value":" "},
3914 {"type":"Name","value":"s"},
3915 {"type":"Text","value":" "},
3916 {"type":"Operator","value":"-\u003e"},
3917 {"type":"Text","value":" "},
3918 {"type":"NameBuiltinPseudo","value":"()"},
3919 {"type":"Text","value":"\n "},
3920 {"type":"Name","value":"Notify3"},
3921 {"type":"Text","value":" "},
3922 {"type":"Operator","value":"="},
3923 {"type":"Text","value":" "},
3924 {"type":"Keyword","value":"fun"},
3925 {"type":"Text","value":" "},
3926 {"type":"Operator","value":"_"},
3927 {"type":"Text","value":" "},
3928 {"type":"Operator","value":"-\u003e"},
3929 {"type":"Text","value":" "},
3930 {"type":"NameBuiltinPseudo","value":"()"},
3931 {"type":"Text","value":"\n "},
3932 {"type":"Name","value":"Notify4"},
3933 {"type":"Text","value":" "},
3934 {"type":"Operator","value":"="},
3935 {"type":"Text","value":" "},
3936 {"type":"Keyword","value":"fun"},
3937 {"type":"Text","value":" "},
3938 {"type":"Operator","value":"_"},
3939 {"type":"Text","value":" "},
3940 {"type":"Operator","value":"-\u003e"},
3941 {"type":"Text","value":" "},
3942 {"type":"NameBuiltinPseudo","value":"()"},
3943 {"type":"Text","value":"\n "},
3944 {"type":"Name","value":"Callback"},
3945 {"type":"Text","value":" "},
3946 {"type":"Operator","value":"="},
3947 {"type":"Text","value":" "},
3948 {"type":"Keyword","value":"fun"},
3949 {"type":"Text","value":" "},
3950 {"type":"Operator","value":"("},
3951 {"type":"Name","value":"a"},
3952 {"type":"Operator","value":","},
3953 {"type":"Text","value":" "},
3954 {"type":"Comment","value":"(*b) comments should works here too*)"},
3955 {"type":"Text","value":" "},
3956 {"type":"Name","value":"b"},
3957 {"type":"Operator","value":")"},
3958 {"type":"Text","value":" "},
3959 {"type":"Operator","value":"-\u003e"},
3960 {"type":"Text","value":" "},
3961 {"type":"Name","value":"unbox"},
3962 {"type":"Text","value":" "},
3963 {"type":"Keyword","value":"null"},
3964 {"type":"Text","value":"\n "},
3965 {"type":"Name","value":"TypeWithSpace"},
3966 {"type":"Text","value":" "},
3967 {"type":"Operator","value":"="},
3968 {"type":"Text","value":" "},
3969 {"type":"Keyword","value":"null"},
3970 {"type":"Text","value":"\n "},
3971 {"type":"Name","value":"Nested"},
3972 {"type":"Text","value":" "},
3973 {"type":"Operator","value":"="},
3974 {"type":"Text","value":" "},
3975 {"type":"Keyword","value":"fun"},
3976 {"type":"Text","value":" "},
3977 {"type":"Name","value":"func"},
3978 {"type":"Text","value":" "},
3979 {"type":"Operator","value":"-\u003e"},
3980 {"type":"Text","value":" "},
3981 {"type":"Name","value":"unbox"},
3982 {"type":"Text","value":" "},
3983 {"type":"Keyword","value":"null"},
3984 {"type":"Text","value":"\n "},
3985 {"type":"Name","value":"Mutable"},
3986 {"type":"Text","value":" "},
3987 {"type":"Operator","value":"="},
3988 {"type":"Text","value":" "},
3989 {"type":"Keyword","value":"null"},
3990 {"type":"Text","value":" "},
3991 {"type":"Operator","value":"}"},
3992 {"type":"Text","value":"\n\n"},
3993 {"type":"Keyword","value":"type"},
3994 {"type":"Text","value":" "},
3995 {"type":"NameClass","value":"CheckSingleLineRecord"},
3996 {"type":"Text","value":" "},
3997 {"type":"Operator","value":"="},
3998 {"type":"Text","value":"\n "},
3999 {"type":"Operator","value":"{"},
4000 {"type":"Text","value":" "},
4001 {"type":"Name","value":"Param1"},
4002 {"type":"Text","value":" "},
4003 {"type":"Operator","value":":"},
4004 {"type":"Text","value":" "},
4005 {"type":"KeywordType","value":"string"},
4006 {"type":"Operator","value":";"},
4007 {"type":"Text","value":" "},
4008 {"type":"Comment","value":"(*comment tests*)"},
4009 {"type":"Text","value":" "},
4010 {"type":"Name","value":"Param2"},
4011 {"type":"Text","value":" "},
4012 {"type":"Operator","value":":"},
4013 {"type":"Text","value":" "},
4014 {"type":"KeywordType","value":"obj"},
4015 {"type":"Text","value":" "},
4016 {"type":"Operator","value":"}"},
4017 {"type":"Text","value":"\n\n"},
4018 {"type":"CommentSingle","value":"// Check that compression expression aren't mess up by the record coloration\n"},
4019 {"type":"Keyword","value":"let"},
4020 {"type":"Text","value":" "},
4021 {"type":"NameVariable","value":"a"},
4022 {"type":"Text","value":" "},
4023 {"type":"Operator","value":"="},
4024 {"type":"Text","value":"\n "},
4025 {"type":"Name","value":"async"},
4026 {"type":"Text","value":" "},
4027 {"type":"Operator","value":"{"},
4028 {"type":"Text","value":"\n "},
4029 {"type":"Keyword","value":"let!"},
4030 {"type":"Text","value":" "},
4031 {"type":"NameVariable","value":"a"},
4032 {"type":"Text","value":" "},
4033 {"type":"Operator","value":"="},
4034 {"type":"Text","value":" "},
4035 {"type":"Name","value":"async"},
4036 {"type":"Text","value":" "},
4037 {"type":"Operator","value":"{"},
4038 {"type":"Text","value":"\n "},
4039 {"type":"Comment","value":"(*comment tests*)"},
4040 {"type":"Text","value":"\n "},
4041 {"type":"Keyword","value":"return"},
4042 {"type":"Text","value":" "},
4043 {"type":"Name","value":"0"},
4044 {"type":"Text","value":"\n "},
4045 {"type":"Operator","value":"}"},
4046 {"type":"Text","value":"\n "},
4047 {"type":"Keyword","value":"return"},
4048 {"type":"Text","value":" "},
4049 {"type":"Name","value":"a"},
4050 {"type":"Text","value":"\n "},
4051 {"type":"Operator","value":"}"},
4052 {"type":"Text","value":"\n\n"},
4053 {"type":"CommentSingle","value":"// Test case for: https://github.com/ionide/ionide-fsgrammar/issues/147\n"},
4054 {"type":"Keyword","value":"let"},
4055 {"type":"Text","value":" "},
4056 {"type":"NameVariable","value":"testVariableWithModuleKeyword"},
4057 {"type":"Text","value":" "},
4058 {"type":"Name","value":"test_module"},
4059 {"type":"Text","value":" "},
4060 {"type":"Operator","value":"="},
4061 {"type":"Text","value":"\n "},
4062 {"type":"Keyword","value":"if"},
4063 {"type":"Text","value":" "},
4064 {"type":"Name","value":"test_module"},
4065 {"type":"Text","value":" "},
4066 {"type":"Keyword","value":"then"},
4067 {"type":"Text","value":" "},
4068 {"type":"CommentSingle","value":"// This is the line where the problem is\n"},
4069 {"type":"Text","value":" "},
4070 {"type":"NameBuiltinPseudo","value":"()"},
4071 {"type":"Text","value":"\n\n"},
4072 {"type":"CommentSingle","value":"// Edge cases provided by @selketjah\n// In this code some of the `type` word where colored in purple\n"},
4073 {"type":"Keyword","value":"type"},
4074 {"type":"Text","value":" "},
4075 {"type":"NameClass","value":"Example"},
4076 {"type":"Text","value":" "},
4077 {"type":"Operator","value":"="},
4078 {"type":"Text","value":"\n "},
4079 {"type":"Operator","value":"{"},
4080 {"type":"Text","value":" "},
4081 {"type":"Name","value":"Type"},
4082 {"type":"Text","value":" "},
4083 {"type":"Operator","value":":"},
4084 {"type":"Text","value":" "},
4085 {"type":"Name","value":"int"},
4086 {"type":"Text","value":"\n "},
4087 {"type":"Name","value":"SType"},
4088 {"type":"Text","value":" "},
4089 {"type":"Operator","value":":"},
4090 {"type":"Text","value":" "},
4091 {"type":"Name","value":"int"},
4092 {"type":"Text","value":"\n "},
4093 {"type":"Name","value":"Stype"},
4094 {"type":"Text","value":" "},
4095 {"type":"Operator","value":":"},
4096 {"type":"Text","value":" "},
4097 {"type":"Name","value":"int"},
4098 {"type":"Text","value":"\n "},
4099 {"type":"Name","value":"STypeT"},
4100 {"type":"Text","value":" "},
4101 {"type":"Operator","value":":"},
4102 {"type":"Text","value":" "},
4103 {"type":"Name","value":"int"},
4104 {"type":"Text","value":"\n "},
4105 {"type":"Name","value":"StypeT"},
4106 {"type":"Text","value":" "},
4107 {"type":"Operator","value":":"},
4108 {"type":"Text","value":" "},
4109 {"type":"Name","value":"int"},
4110 {"type":"Text","value":" "},
4111 {"type":"CommentSingle","value":"// comments tests\n"},
4112 {"type":"Text","value":" "},
4113 {"type":"Name","value":"TypeS"},
4114 {"type":"Text","value":" "},
4115 {"type":"Operator","value":":"},
4116 {"type":"Text","value":" "},
4117 {"type":"Name","value":"int"},
4118 {"type":"Text","value":" "},
4119 {"type":"Comment","value":"(*comment tests*)"},
4120 {"type":"Text","value":"\n "},
4121 {"type":"Name","value":"typeTest"},
4122 {"type":"Text","value":" "},
4123 {"type":"Operator","value":":"},
4124 {"type":"Text","value":" "},
4125 {"type":"Name","value":"int"},
4126 {"type":"Text","value":"\n "},
4127 {"type":"Name","value":"stype"},
4128 {"type":"Text","value":" "},
4129 {"type":"Operator","value":":"},
4130 {"type":"Text","value":" "},
4131 {"type":"Name","value":"int"},
4132 {"type":"Text","value":"\n "},
4133 {"type":"Name","value":"stypes"},
4134 {"type":"Text","value":" "},
4135 {"type":"Operator","value":":"},
4136 {"type":"Text","value":" "},
4137 {"type":"Name","value":"int"},
4138 {"type":"Text","value":"\n "},
4139 {"type":"Name","value":"s_type"},
4140 {"type":"Text","value":" "},
4141 {"type":"Operator","value":":"},
4142 {"type":"Text","value":" "},
4143 {"type":"Name","value":"int"},
4144 {"type":"Text","value":" "},
4145 {"type":"Operator","value":"}"},
4146 {"type":"Text","value":"\n\n"},
4147 {"type":"CommentSingle","value":"// Edge cases provided by @selketjah\n// `type` was colored as keyword\n// `with` as a Type declaration\n"},
4148 {"type":"Keyword","value":"let"},
4149 {"type":"Text","value":" "},
4150 {"type":"NameVariable","value":"temp"},
4151 {"type":"Text","value":" "},
4152 {"type":"Operator","value":"("},
4153 {"type":"Name","value":"s"},
4154 {"type":"Text","value":" "},
4155 {"type":"Operator","value":":"},
4156 {"type":"Text","value":" "},
4157 {"type":"Name","value":"Example"},
4158 {"type":"Operator","value":")"},
4159 {"type":"Text","value":" "},
4160 {"type":"Operator","value":"="},
4161 {"type":"Text","value":"\n "},
4162 {"type":"Keyword","value":"match"},
4163 {"type":"Text","value":" "},
4164 {"type":"Name","value":"s"},
4165 {"type":"Operator","value":"."},
4166 {"type":"Name","value":"stype"},
4167 {"type":"Text","value":" "},
4168 {"type":"Keyword","value":"with"},
4169 {"type":"Text","value":"\n "},
4170 {"type":"Operator","value":"|"},
4171 {"type":"Text","value":" "},
4172 {"type":"Name","value":"0"},
4173 {"type":"Text","value":" "},
4174 {"type":"Operator","value":"-\u003e"},
4175 {"type":"Text","value":" "},
4176 {"type":"LiteralString","value":"\"whatever\""},
4177 {"type":"Text","value":"\n "},
4178 {"type":"Operator","value":"|"},
4179 {"type":"Text","value":" "},
4180 {"type":"Name","value":"1"},
4181 {"type":"Text","value":" "},
4182 {"type":"Operator","value":"-\u003e"},
4183 {"type":"Text","value":" "},
4184 {"type":"LiteralString","value":"\"\""},
4185 {"type":"Text","value":"\n\n"},
4186 {"type":"CommentSingle","value":"// Edge case when there is something after } the next type is not colored\n"},
4187 {"type":"Keyword","value":"type"},
4188 {"type":"Text","value":" "},
4189 {"type":"NameClass","value":"One"},
4190 {"type":"Text","value":" "},
4191 {"type":"Operator","value":"="},
4192 {"type":"Text","value":"\n "},
4193 {"type":"Operator","value":"{"},
4194 {"type":"Text","value":" "},
4195 {"type":"Name","value":"Id"},
4196 {"type":"Text","value":" "},
4197 {"type":"Operator","value":":"},
4198 {"type":"Text","value":" "},
4199 {"type":"KeywordType","value":"string"},
4200 {"type":"Text","value":" "},
4201 {"type":"Operator","value":"}"},
4202 {"type":"Text","value":" "},
4203 {"type":"CommentSingle","value":"// test\n"},
4204 {"type":"Text","value":"\n"},
4205 {"type":"Keyword","value":"type"},
4206 {"type":"Text","value":" "},
4207 {"type":"NameClass","value":"Two"},
4208 {"type":"Text","value":" "},
4209 {"type":"Operator","value":"="},
4210 {"type":"Text","value":"\n "},
4211 {"type":"Operator","value":"{"},
4212 {"type":"Text","value":" "},
4213 {"type":"Name","value":"Id"},
4214 {"type":"Text","value":" "},
4215 {"type":"Operator","value":":"},
4216 {"type":"Text","value":" "},
4217 {"type":"Name","value":"int"},
4218 {"type":"Text","value":" "},
4219 {"type":"Operator","value":"}"},
4220 {"type":"Text","value":"\n\n"},
4221 {"type":"CommentSingle","value":"// Support for anonymous records\n"},
4222 {"type":"Text","value":"\n"},
4223 {"type":"Keyword","value":"type"},
4224 {"type":"Text","value":" "},
4225 {"type":"NameClass","value":"Employee"},
4226 {"type":"Text","value":" "},
4227 {"type":"Operator","value":"="},
4228 {"type":"Text","value":"\n "},
4229 {"type":"Operator","value":"|"},
4230 {"type":"Text","value":" "},
4231 {"type":"Name","value":"Engineer"},
4232 {"type":"Text","value":" "},
4233 {"type":"Keyword","value":"of"},
4234 {"type":"Text","value":" "},
4235 {"type":"Operator","value":"{|"},
4236 {"type":"Text","value":" "},
4237 {"type":"Name","value":"Prop1"},
4238 {"type":"Text","value":" "},
4239 {"type":"Operator","value":":"},
4240 {"type":"Text","value":" "},
4241 {"type":"Name","value":"int"},
4242 {"type":"Operator","value":";"},
4243 {"type":"Text","value":" "},
4244 {"type":"Name","value":"Prop2"},
4245 {"type":"Text","value":" "},
4246 {"type":"Operator","value":":"},
4247 {"type":"Text","value":" "},
4248 {"type":"Operator","value":"{|"},
4249 {"type":"Text","value":" "},
4250 {"type":"Name","value":"Prop1"},
4251 {"type":"Text","value":" "},
4252 {"type":"Operator","value":":"},
4253 {"type":"Text","value":" "},
4254 {"type":"Name","value":"int"},
4255 {"type":"Operator","value":";"},
4256 {"type":"Text","value":" "},
4257 {"type":"Name","value":"Prop2"},
4258 {"type":"Text","value":" "},
4259 {"type":"Operator","value":":"},
4260 {"type":"Text","value":" "},
4261 {"type":"Operator","value":"{|"},
4262 {"type":"Text","value":" "},
4263 {"type":"Name","value":"Prop1"},
4264 {"type":"Text","value":" "},
4265 {"type":"Operator","value":":"},
4266 {"type":"Text","value":" "},
4267 {"type":"Name","value":"GenType"},
4268 {"type":"Operator","value":"\u003c"},
4269 {"type":"Name","value":"GenType"},
4270 {"type":"Operator","value":"\u003c"},
4271 {"type":"KeywordType","value":"obj"},
4272 {"type":"Operator","value":"\u003e\u003e;"},
4273 {"type":"Text","value":" "},
4274 {"type":"Name","value":"Prop2"},
4275 {"type":"Text","value":" "},
4276 {"type":"Operator","value":":"},
4277 {"type":"Text","value":" "},
4278 {"type":"Operator","value":"{|"},
4279 {"type":"Text","value":" "},
4280 {"type":"Name","value":"Prop1"},
4281 {"type":"Text","value":" "},
4282 {"type":"Operator","value":":"},
4283 {"type":"Text","value":" "},
4284 {"type":"Name","value":"int"},
4285 {"type":"Operator","value":";"},
4286 {"type":"Text","value":" "},
4287 {"type":"Name","value":"Prop2"},
4288 {"type":"Text","value":" "},
4289 {"type":"Operator","value":":"},
4290 {"type":"Text","value":" "},
4291 {"type":"Name","value":"List"},
4292 {"type":"Operator","value":"\u003c"},
4293 {"type":"KeywordType","value":"string"},
4294 {"type":"Operator","value":"\u003e"},
4295 {"type":"Text","value":" "},
4296 {"type":"Operator","value":"|}"},
4297 {"type":"Text","value":" "},
4298 {"type":"Operator","value":"|}"},
4299 {"type":"Text","value":" "},
4300 {"type":"Operator","value":"|}"},
4301 {"type":"Text","value":" "},
4302 {"type":"Operator","value":"|}"},
4303 {"type":"Text","value":"\n "},
4304 {"type":"Operator","value":"|"},
4305 {"type":"Text","value":" "},
4306 {"type":"Name","value":"Manager"},
4307 {"type":"Text","value":" "},
4308 {"type":"Keyword","value":"of"},
4309 {"type":"Text","value":" "},
4310 {"type":"Operator","value":"{|"},
4311 {"type":"Text","value":" "},
4312 {"type":"Name","value":"Prop1"},
4313 {"type":"Text","value":" "},
4314 {"type":"Operator","value":":"},
4315 {"type":"Text","value":" "},
4316 {"type":"Name","value":"int"},
4317 {"type":"Operator","value":";"},
4318 {"type":"Text","value":" "},
4319 {"type":"Name","value":"Prop2"},
4320 {"type":"Text","value":" "},
4321 {"type":"Operator","value":":"},
4322 {"type":"Text","value":" "},
4323 {"type":"Operator","value":"{|"},
4324 {"type":"Text","value":" "},
4325 {"type":"Name","value":"Prop1"},
4326 {"type":"Text","value":" "},
4327 {"type":"Operator","value":":"},
4328 {"type":"Text","value":" "},
4329 {"type":"Name","value":"int"},
4330 {"type":"Operator","value":";"},
4331 {"type":"Text","value":" "},
4332 {"type":"Name","value":"Prop2"},
4333 {"type":"Text","value":" "},
4334 {"type":"Operator","value":":"},
4335 {"type":"Text","value":" "},
4336 {"type":"Name","value":"List"},
4337 {"type":"Operator","value":"\u003c"},
4338 {"type":"KeywordType","value":"string"},
4339 {"type":"Operator","value":"\u003e"},
4340 {"type":"Text","value":" "},
4341 {"type":"Operator","value":"|}"},
4342 {"type":"Text","value":" "},
4343 {"type":"Operator","value":"|}"},
4344 {"type":"Text","value":"\n\n"},
4345 {"type":"Keyword","value":"let"},
4346 {"type":"Text","value":" "},
4347 {"type":"NameVariable","value":"private"},
4348 {"type":"Text","value":" "},
4349 {"type":"Name","value":"standardIntInput"},
4350 {"type":"Text","value":" "},
4351 {"type":"Operator","value":"("},
4352 {"type":"Name","value":"props"},
4353 {"type":"Text","value":" "},
4354 {"type":"Operator","value":":"},
4355 {"type":"Text","value":" "},
4356 {"type":"Operator","value":"{|"},
4357 {"type":"Text","value":" "},
4358 {"type":"Name","value":"Dispatch"},
4359 {"type":"Text","value":" "},
4360 {"type":"Operator","value":":"},
4361 {"type":"Text","value":" "},
4362 {"type":"Name","value":"GenType"},
4363 {"type":"Operator","value":"\u003c"},
4364 {"type":"Name","value":"GenType"},
4365 {"type":"Operator","value":"\u003c"},
4366 {"type":"KeywordType","value":"obj"},
4367 {"type":"Operator","value":"\u003e\u003e"},
4368 {"type":"Text","value":"\n "},
4369 {"type":"Name","value":"Disabled"},
4370 {"type":"Text","value":" "},
4371 {"type":"Operator","value":":"},
4372 {"type":"Text","value":" "},
4373 {"type":"Operator","value":"{|"},
4374 {"type":"Text","value":" "},
4375 {"type":"Name","value":"Prop1"},
4376 {"type":"Text","value":" "},
4377 {"type":"Operator","value":":"},
4378 {"type":"Text","value":" "},
4379 {"type":"Name","value":"int"},
4380 {"type":"Operator","value":";"},
4381 {"type":"Text","value":" "},
4382 {"type":"Name","value":"Prop2"},
4383 {"type":"Text","value":" "},
4384 {"type":"Operator","value":":"},
4385 {"type":"Text","value":" "},
4386 {"type":"Operator","value":"{|"},
4387 {"type":"Text","value":" "},
4388 {"type":"Name","value":"Prop1"},
4389 {"type":"Text","value":" "},
4390 {"type":"Operator","value":":"},
4391 {"type":"Text","value":" "},
4392 {"type":"Name","value":"int"},
4393 {"type":"Operator","value":";"},
4394 {"type":"Text","value":" "},
4395 {"type":"Name","value":"Prop2"},
4396 {"type":"Text","value":" "},
4397 {"type":"Operator","value":":"},
4398 {"type":"Text","value":" "},
4399 {"type":"Name","value":"List"},
4400 {"type":"Operator","value":"\u003c"},
4401 {"type":"KeywordType","value":"string"},
4402 {"type":"Operator","value":"\u003e"},
4403 {"type":"Text","value":" "},
4404 {"type":"Operator","value":"|}"},
4405 {"type":"Text","value":" "},
4406 {"type":"Operator","value":"|}"},
4407 {"type":"Text","value":"\n "},
4408 {"type":"Name","value":"Errors"},
4409 {"type":"Text","value":" "},
4410 {"type":"Operator","value":":"},
4411 {"type":"Text","value":" "},
4412 {"type":"Name","value":"GenType"},
4413 {"type":"Operator","value":"\u003c"},
4414 {"type":"Keyword","value":"'"},
4415 {"type":"Name","value":"Msg"},
4416 {"type":"Operator","value":"\u003e"},
4417 {"type":"Text","value":" "},
4418 {"type":"KeywordType","value":"list"},
4419 {"type":"Text","value":" "},
4420 {"type":"Operator","value":"|})"},
4421 {"type":"Text","value":" "},
4422 {"type":"Operator","value":"="},
4423 {"type":"Text","value":" "},
4424 {"type":"LiteralString","value":"\"\""},
4425 {"type":"Text","value":"\n\n"},
4426 {"type":"Keyword","value":"let"},
4427 {"type":"Text","value":" "},
4428 {"type":"NameVariable","value":"test"},
4429 {"type":"Text","value":" "},
4430 {"type":"Operator","value":"="},
4431 {"type":"Text","value":" "},
4432 {"type":"Keyword","value":"fun"},
4433 {"type":"Text","value":" "},
4434 {"type":"Operator","value":"("},
4435 {"type":"Name","value":"props"},
4436 {"type":"Text","value":" "},
4437 {"type":"Operator","value":":"},
4438 {"type":"Text","value":" "},
4439 {"type":"Operator","value":"{|"},
4440 {"type":"Text","value":" "},
4441 {"type":"Name","value":"Dispatch"},
4442 {"type":"Text","value":" "},
4443 {"type":"Operator","value":":"},
4444 {"type":"Text","value":" "},
4445 {"type":"Name","value":"GenType"},
4446 {"type":"Operator","value":"\u003c"},
4447 {"type":"Name","value":"GenType"},
4448 {"type":"Operator","value":"\u003c"},
4449 {"type":"KeywordType","value":"obj"},
4450 {"type":"Operator","value":"\u003e\u003e"},
4451 {"type":"Text","value":"\n "},
4452 {"type":"Name","value":"Disabled"},
4453 {"type":"Text","value":" "},
4454 {"type":"Operator","value":":"},
4455 {"type":"Text","value":" "},
4456 {"type":"Operator","value":"{|"},
4457 {"type":"Text","value":" "},
4458 {"type":"Name","value":"Prop1"},
4459 {"type":"Text","value":" "},
4460 {"type":"Operator","value":":"},
4461 {"type":"Text","value":" "},
4462 {"type":"Name","value":"int"},
4463 {"type":"Operator","value":";"},
4464 {"type":"Text","value":" "},
4465 {"type":"Name","value":"Prop2"},
4466 {"type":"Text","value":" "},
4467 {"type":"Operator","value":":"},
4468 {"type":"Text","value":" "},
4469 {"type":"Operator","value":"{|"},
4470 {"type":"Text","value":" "},
4471 {"type":"Name","value":"Prop1"},
4472 {"type":"Text","value":" "},
4473 {"type":"Operator","value":":"},
4474 {"type":"Text","value":" "},
4475 {"type":"Name","value":"int"},
4476 {"type":"Operator","value":";"},
4477 {"type":"Text","value":" "},
4478 {"type":"Name","value":"Prop2"},
4479 {"type":"Text","value":" "},
4480 {"type":"Operator","value":":"},
4481 {"type":"Text","value":" "},
4482 {"type":"Name","value":"List"},
4483 {"type":"Operator","value":"\u003c"},
4484 {"type":"KeywordType","value":"string"},
4485 {"type":"Operator","value":"\u003e"},
4486 {"type":"Text","value":" "},
4487 {"type":"Operator","value":"|}"},
4488 {"type":"Text","value":" "},
4489 {"type":"Operator","value":"|}"},
4490 {"type":"Text","value":"\n "},
4491 {"type":"Name","value":"Errors"},
4492 {"type":"Text","value":" "},
4493 {"type":"Operator","value":":"},
4494 {"type":"Text","value":" "},
4495 {"type":"Name","value":"GenType"},
4496 {"type":"Operator","value":"\u003c"},
4497 {"type":"Keyword","value":"'"},
4498 {"type":"Name","value":"Msg"},
4499 {"type":"Operator","value":"\u003e"},
4500 {"type":"Text","value":" "},
4501 {"type":"KeywordType","value":"list"},
4502 {"type":"Text","value":" "},
4503 {"type":"Operator","value":"|})"},
4504 {"type":"Text","value":" "},
4505 {"type":"Operator","value":"-\u003e"},
4506 {"type":"Text","value":" "},
4507 {"type":"LiteralString","value":"\"\""},
4508 {"type":"Text","value":"\n\n"},
4509 {"type":"Keyword","value":"type"},
4510 {"type":"Text","value":" "},
4511 {"type":"NameClass","value":"AR_Class"},
4512 {"type":"Text","value":" "},
4513 {"type":"NameBuiltinPseudo","value":"()"},
4514 {"type":"Text","value":" "},
4515 {"type":"Operator","value":"="},
4516 {"type":"Text","value":"\n "},
4517 {"type":"Keyword","value":"member"},
4518 {"type":"Text","value":" "},
4519 {"type":"Name","value":"this"},
4520 {"type":"Punctuation","value":"."},
4521 {"type":"NameFunction","value":"Method1"},
4522 {"type":"Text","value":" "},
4523 {"type":"Operator","value":"("},
4524 {"type":"Name","value":"props"},
4525 {"type":"Text","value":" "},
4526 {"type":"Operator","value":":"},
4527 {"type":"Text","value":" "},
4528 {"type":"Operator","value":"{|"},
4529 {"type":"Text","value":" "},
4530 {"type":"Name","value":"Dispatch"},
4531 {"type":"Text","value":" "},
4532 {"type":"Operator","value":":"},
4533 {"type":"Text","value":" "},
4534 {"type":"Name","value":"GenType"},
4535 {"type":"Operator","value":"\u003c"},
4536 {"type":"Name","value":"GenType"},
4537 {"type":"Operator","value":"\u003c"},
4538 {"type":"KeywordType","value":"obj"},
4539 {"type":"Operator","value":"\u003e\u003e"},
4540 {"type":"Text","value":"\n "},
4541 {"type":"Name","value":"Disabled"},
4542 {"type":"Text","value":" "},
4543 {"type":"Operator","value":":"},
4544 {"type":"Text","value":" "},
4545 {"type":"Operator","value":"{|"},
4546 {"type":"Text","value":" "},
4547 {"type":"Name","value":"Prop1"},
4548 {"type":"Text","value":" "},
4549 {"type":"Operator","value":":"},
4550 {"type":"Text","value":" "},
4551 {"type":"Name","value":"int"},
4552 {"type":"Operator","value":";"},
4553 {"type":"Text","value":" "},
4554 {"type":"Name","value":"Prop2"},
4555 {"type":"Text","value":" "},
4556 {"type":"Operator","value":":"},
4557 {"type":"Text","value":" "},
4558 {"type":"Operator","value":"{|"},
4559 {"type":"Text","value":" "},
4560 {"type":"Name","value":"Prop1"},
4561 {"type":"Text","value":" "},
4562 {"type":"Operator","value":":"},
4563 {"type":"Text","value":" "},
4564 {"type":"Name","value":"int"},
4565 {"type":"Operator","value":";"},
4566 {"type":"Text","value":" "},
4567 {"type":"Name","value":"Prop2"},
4568 {"type":"Text","value":" "},
4569 {"type":"Operator","value":":"},
4570 {"type":"Text","value":" "},
4571 {"type":"Name","value":"List"},
4572 {"type":"Operator","value":"\u003c"},
4573 {"type":"KeywordType","value":"string"},
4574 {"type":"Operator","value":"\u003e"},
4575 {"type":"Text","value":" "},
4576 {"type":"Operator","value":"|}"},
4577 {"type":"Text","value":" "},
4578 {"type":"Operator","value":"|}"},
4579 {"type":"Text","value":"\n "},
4580 {"type":"Name","value":"Errors"},
4581 {"type":"Text","value":" "},
4582 {"type":"Operator","value":":"},
4583 {"type":"Text","value":" "},
4584 {"type":"Name","value":"GenType"},
4585 {"type":"Operator","value":"\u003c"},
4586 {"type":"Keyword","value":"'"},
4587 {"type":"Name","value":"Msg"},
4588 {"type":"Operator","value":"\u003e"},
4589 {"type":"Text","value":" "},
4590 {"type":"KeywordType","value":"list"},
4591 {"type":"Text","value":" "},
4592 {"type":"Operator","value":"|})"},
4593 {"type":"Text","value":" "},
4594 {"type":"Operator","value":"="},
4595 {"type":"Text","value":" "},
4596 {"type":"LiteralString","value":"\"\""},
4597 {"type":"Text","value":"\n\n"},
4598 {"type":"CommentSingle","value":"// Check anonymous function type signature\n"},
4599 {"type":"Keyword","value":"let"},
4600 {"type":"Text","value":" "},
4601 {"type":"NameVariable","value":"tx"},
4602 {"type":"Text","value":" "},
4603 {"type":"Operator","value":"="},
4604 {"type":"Text","value":" "},
4605 {"type":"Keyword","value":"fun"},
4606 {"type":"Text","value":" "},
4607 {"type":"Operator","value":"("},
4608 {"type":"Name","value":"t"},
4609 {"type":"Text","value":" "},
4610 {"type":"Operator","value":":"},
4611 {"type":"Text","value":" "},
4612 {"type":"Name","value":"``type with spaces``"},
4613 {"type":"Operator","value":")"},
4614 {"type":"Text","value":" "},
4615 {"type":"Operator","value":"("},
4616 {"type":"Name","value":"``var with spaces``"},
4617 {"type":"Text","value":" "},
4618 {"type":"Operator","value":":"},
4619 {"type":"Text","value":" "},
4620 {"type":"Name","value":"Result"},
4621 {"type":"Operator","value":"\u003c"},
4622 {"type":"KeywordType","value":"obj"},
4623 {"type":"Text","value":" "},
4624 {"type":"KeywordType","value":"list"},
4625 {"type":"Operator","value":","},
4626 {"type":"Text","value":" "},
4627 {"type":"Name","value":"int"},
4628 {"type":"Operator","value":"\u003e)"},
4629 {"type":"Text","value":" "},
4630 {"type":"Operator","value":"-\u003e"},
4631 {"type":"Text","value":" "},
4632 {"type":"NameBuiltinPseudo","value":"()"},
4633 {"type":"Text","value":"\n\n"},
4634 {"type":"Keyword","value":"let"},
4635 {"type":"Text","value":" "},
4636 {"type":"NameVariable","value":"private"},
4637 {"type":"Text","value":" "},
4638 {"type":"Name","value":"mixedArray"},
4639 {"type":"Text","value":" "},
4640 {"type":"Name","value":"msg"},
4641 {"type":"Text","value":" "},
4642 {"type":"Operator","value":"("},
4643 {"type":"Name","value":"decoders"},
4644 {"type":"Operator","value":":"},
4645 {"type":"Text","value":" "},
4646 {"type":"KeywordType","value":"string"},
4647 {"type":"Text","value":" "},
4648 {"type":"NameBuiltinPseudo","value":"[]"},
4649 {"type":"Operator","value":")"},
4650 {"type":"Text","value":" "},
4651 {"type":"Operator","value":"("},
4652 {"type":"Name","value":"path"},
4653 {"type":"Operator","value":":"},
4654 {"type":"Text","value":" "},
4655 {"type":"KeywordType","value":"string"},
4656 {"type":"Operator","value":")"},
4657 {"type":"Text","value":" "},
4658 {"type":"Operator","value":"("},
4659 {"type":"Name","value":"values"},
4660 {"type":"Operator","value":":"},
4661 {"type":"Text","value":" "},
4662 {"type":"KeywordType","value":"obj"},
4663 {"type":"NameBuiltinPseudo","value":"[]"},
4664 {"type":"Operator","value":"):"},
4665 {"type":"Text","value":" "},
4666 {"type":"Name","value":"Result"},
4667 {"type":"Operator","value":"\u003c"},
4668 {"type":"KeywordType","value":"obj"},
4669 {"type":"Text","value":" "},
4670 {"type":"KeywordType","value":"list"},
4671 {"type":"Operator","value":","},
4672 {"type":"Text","value":" "},
4673 {"type":"Name","value":"int"},
4674 {"type":"Operator","value":"\u003e"},
4675 {"type":"Text","value":" "},
4676 {"type":"Operator","value":"="},
4677 {"type":"Text","value":"\n "},
4678 {"type":"Name","value":"Ok"},
4679 {"type":"Text","value":" "},
4680 {"type":"NameBuiltinPseudo","value":"[]"},
4681 {"type":"Text","value":"\n\n"},
4682 {"type":"Keyword","value":"type"},
4683 {"type":"Text","value":" "},
4684 {"type":"NameClass","value":"Auto"},
4685 {"type":"NameBuiltinPseudo","value":"()"},
4686 {"type":"Text","value":" "},
4687 {"type":"Operator","value":"="},
4688 {"type":"Text","value":"\n "},
4689 {"type":"Keyword","value":"static"},
4690 {"type":"Text","value":" "},
4691 {"type":"Keyword","value":"let"},
4692 {"type":"Text","value":" "},
4693 {"type":"Operator","value":"("},
4694 {"type":"Name","value":"color"},
4695 {"type":"Operator","value":","},
4696 {"type":"Text","value":" "},
4697 {"type":"Name","value":"message"},
4698 {"type":"Operator","value":")"},
4699 {"type":"Text","value":" "},
4700 {"type":"Operator","value":"="},
4701 {"type":"Text","value":" "},
4702 {"type":"Name","value":"failwith"},
4703 {"type":"Text","value":" "},
4704 {"type":"LiteralString","value":"\"\""},
4705 {"type":"Text","value":"\n\n "},
4706 {"type":"Keyword","value":"static"},
4707 {"type":"Text","value":" "},
4708 {"type":"Keyword","value":"let"},
4709 {"type":"Text","value":" "},
4710 {"type":"Operator","value":"("},
4711 {"type":"Name","value":"color"},
4712 {"type":"Text","value":" "},
4713 {"type":"Operator","value":":"},
4714 {"type":"Text","value":" "},
4715 {"type":"Name","value":"Result"},
4716 {"type":"Operator","value":"\u003c"},
4717 {"type":"Keyword","value":"'"},
4718 {"type":"Name","value":"T"},
4719 {"type":"Operator","value":","},
4720 {"type":"Text","value":" "},
4721 {"type":"KeywordType","value":"string"},
4722 {"type":"Operator","value":"\u003e)"},
4723 {"type":"Text","value":" "},
4724 {"type":"Operator","value":"="},
4725 {"type":"Text","value":" "},
4726 {"type":"Name","value":"failwith"},
4727 {"type":"Text","value":" "},
4728 {"type":"LiteralString","value":"\"\""},
4729 {"type":"Text","value":"\n\n "},
4730 {"type":"CommentSingle","value":"// Here `\u003c`\u0026 `\u003e` not in purple\n"},
4731 {"type":"Text","value":" "},
4732 {"type":"Keyword","value":"static"},
4733 {"type":"Text","value":" "},
4734 {"type":"Keyword","value":"member"},
4735 {"type":"Text","value":" "},
4736 {"type":"Name","value":"GenerateDecoder"},
4737 {"type":"Operator","value":"\u003c"},
4738 {"type":"Keyword","value":"'"},
4739 {"type":"Name","value":"T"},
4740 {"type":"Operator","value":"\u003e"},
4741 {"type":"Text","value":" "},
4742 {"type":"Operator","value":"(?"},
4743 {"type":"Name","value":"isCamelCase"},
4744 {"type":"Text","value":" "},
4745 {"type":"Operator","value":":"},
4746 {"type":"Text","value":" "},
4747 {"type":"KeywordType","value":"bool"},
4748 {"type":"Operator","value":"):"},
4749 {"type":"Text","value":" "},
4750 {"type":"Name","value":"GenType"},
4751 {"type":"Operator","value":"\u003c"},
4752 {"type":"Keyword","value":"'"},
4753 {"type":"Name","value":"T"},
4754 {"type":"Operator","value":"\u003e"},
4755 {"type":"Text","value":" "},
4756 {"type":"Operator","value":"="},
4757 {"type":"Text","value":" "},
4758 {"type":"Name","value":"failwith"},
4759 {"type":"Text","value":" "},
4760 {"type":"LiteralString","value":"\"\""},
4761 {"type":"Text","value":"\n\n "},
4762 {"type":"CommentSingle","value":"// Here generics not colored\n"},
4763 {"type":"Text","value":" "},
4764 {"type":"Keyword","value":"static"},
4765 {"type":"Text","value":" "},
4766 {"type":"Keyword","value":"member"},
4767 {"type":"Text","value":" "},
4768 {"type":"Name","value":"FromString"},
4769 {"type":"Operator","value":"\u003c"},
4770 {"type":"Keyword","value":"'"},
4771 {"type":"Name","value":"T"},
4772 {"type":"Operator","value":"\u003e("},
4773 {"type":"Name","value":"json"},
4774 {"type":"Operator","value":":"},
4775 {"type":"Text","value":" "},
4776 {"type":"KeywordType","value":"string"},
4777 {"type":"Operator","value":","},
4778 {"type":"Text","value":" "},
4779 {"type":"Operator","value":"?"},
4780 {"type":"Name","value":"isCamelCase"},
4781 {"type":"Text","value":" "},
4782 {"type":"Operator","value":":"},
4783 {"type":"Text","value":" "},
4784 {"type":"KeywordType","value":"bool"},
4785 {"type":"Operator","value":"):"},
4786 {"type":"Text","value":" "},
4787 {"type":"Keyword","value":"'"},
4788 {"type":"Name","value":"T"},
4789 {"type":"Text","value":" "},
4790 {"type":"Operator","value":"="},
4791 {"type":"Text","value":" "},
4792 {"type":"Name","value":"failwith"},
4793 {"type":"Text","value":" "},
4794 {"type":"LiteralString","value":"\"\""},
4795 {"type":"Text","value":"\n\n\n"},
4796 {"type":"Keyword","value":"type"},
4797 {"type":"Text","value":" "},
4798 {"type":"NameClass","value":"Example1"},
4799 {"type":"Text","value":" "},
4800 {"type":"Operator","value":"="},
4801 {"type":"Text","value":" "},
4802 {"type":"Operator","value":"{"},
4803 {"type":"Text","value":" "},
4804 {"type":"Name","value":"Test"},
4805 {"type":"Text","value":" "},
4806 {"type":"Operator","value":":"},
4807 {"type":"Text","value":" "},
4808 {"type":"Name","value":"int"},
4809 {"type":"Text","value":" "},
4810 {"type":"KeywordType","value":"list"},
4811 {"type":"Text","value":" "},
4812 {"type":"Operator","value":"}"},
4813 {"type":"Text","value":"\n"},
4814 {"type":"Keyword","value":"let"},
4815 {"type":"Text","value":" "},
4816 {"type":"NameVariable","value":"test"},
4817 {"type":"Text","value":" "},
4818 {"type":"Operator","value":"="},
4819 {"type":"Text","value":" "},
4820 {"type":"Operator","value":"{"},
4821 {"type":"Text","value":" "},
4822 {"type":"Name","value":"Test"},
4823 {"type":"Text","value":" "},
4824 {"type":"Operator","value":"="},
4825 {"type":"Text","value":" "},
4826 {"type":"Operator","value":"["},
4827 {"type":"Text","value":" "},
4828 {"type":"Name","value":"1"},
4829 {"type":"Operator","value":";"},
4830 {"type":"Name","value":"2"},
4831 {"type":"Operator","value":";"},
4832 {"type":"Name","value":"3"},
4833 {"type":"Text","value":" "},
4834 {"type":"Operator","value":"]"},
4835 {"type":"Text","value":" "},
4836 {"type":"Operator","value":"}"},
4837 {"type":"Text","value":"\n"},
4838 {"type":"CommentSingle","value":"// test.test shouldn't be colored\n"},
4839 {"type":"Keyword","value":"let"},
4840 {"type":"Text","value":" "},
4841 {"type":"NameVariable","value":"temp"},
4842 {"type":"Text","value":" "},
4843 {"type":"Operator","value":"="},
4844 {"type":"Text","value":" "},
4845 {"type":"Operator","value":"{"},
4846 {"type":"Text","value":" "},
4847 {"type":"Name","value":"test"},
4848 {"type":"Text","value":" "},
4849 {"type":"Keyword","value":"with"},
4850 {"type":"Text","value":" "},
4851 {"type":"Name","value":"Test"},
4852 {"type":"Text","value":" "},
4853 {"type":"Operator","value":"="},
4854 {"type":"Text","value":" "},
4855 {"type":"Name","value":"3"},
4856 {"type":"Text","value":" "},
4857 {"type":"Operator","value":"::"},
4858 {"type":"Text","value":" "},
4859 {"type":"Name","value":"test"},
4860 {"type":"Operator","value":"."},
4861 {"type":"Name","value":"Test"},
4862 {"type":"Text","value":" "},
4863 {"type":"Operator","value":"}"},
4864 {"type":"Text","value":"\n\n"},
4865 {"type":"Keyword","value":"type"},
4866 {"type":"Text","value":" "},
4867 {"type":"NameClass","value":"EitherBuilder"},
4868 {"type":"NameBuiltinPseudo","value":"()"},
4869 {"type":"Text","value":" "},
4870 {"type":"Operator","value":"="},
4871 {"type":"Text","value":"\n "},
4872 {"type":"Keyword","value":"member"},
4873 {"type":"Text","value":" "},
4874 {"type":"Name","value":"__"},
4875 {"type":"Punctuation","value":"."},
4876 {"type":"NameFunction","value":"Bind"},
4877 {"type":"Operator","value":"("},
4878 {"type":"Name","value":"x"},
4879 {"type":"Operator","value":")"},
4880 {"type":"Text","value":" "},
4881 {"type":"Operator","value":"="},
4882 {"type":"Text","value":" "},
4883 {"type":"Name","value":"x"},
4884 {"type":"Text","value":"\n "},
4885 {"type":"Keyword","value":"member"},
4886 {"type":"Text","value":" "},
4887 {"type":"Name","value":"__"},
4888 {"type":"Punctuation","value":"."},
4889 {"type":"NameFunction","value":"Return"},
4890 {"type":"Operator","value":"("},
4891 {"type":"Name","value":"x"},
4892 {"type":"Operator","value":")"},
4893 {"type":"Text","value":" "},
4894 {"type":"Operator","value":"="},
4895 {"type":"Text","value":" "},
4896 {"type":"Name","value":"x"},
4897 {"type":"Text","value":"\n\n"},
4898 {"type":"Keyword","value":"let"},
4899 {"type":"Text","value":" "},
4900 {"type":"NameVariable","value":"either"},
4901 {"type":"Text","value":" "},
4902 {"type":"Operator","value":"="},
4903 {"type":"Text","value":" "},
4904 {"type":"Name","value":"EitherBuilder"},
4905 {"type":"NameBuiltinPseudo","value":"()"},
4906 {"type":"Text","value":"\n\n"},
4907 {"type":"Keyword","value":"let"},
4908 {"type":"Text","value":" "},
4909 {"type":"NameVariable","value":"test"},
4910 {"type":"Text","value":" "},
4911 {"type":"Name","value":"x"},
4912 {"type":"Text","value":" "},
4913 {"type":"Operator","value":"="},
4914 {"type":"Text","value":"\n "},
4915 {"type":"CommentSingle","value":"// Ensure coloration is working correctly in custom computation expressions\n"},
4916 {"type":"Text","value":" "},
4917 {"type":"Name","value":"either"},
4918 {"type":"Text","value":" "},
4919 {"type":"Operator","value":"{"},
4920 {"type":"Text","value":"\n "},
4921 {"type":"Keyword","value":"let"},
4922 {"type":"Text","value":" "},
4923 {"type":"NameVariable","value":"x"},
4924 {"type":"Text","value":" "},
4925 {"type":"Operator","value":"="},
4926 {"type":"Text","value":" "},
4927 {"type":"Name","value":"x"},
4928 {"type":"Text","value":"\n "},
4929 {"type":"Keyword","value":"let!"},
4930 {"type":"Text","value":" "},
4931 {"type":"NameVariable","value":"c"},
4932 {"type":"Text","value":" "},
4933 {"type":"Operator","value":"="},
4934 {"type":"Text","value":" "},
4935 {"type":"LiteralString","value":"\"\""},
4936 {"type":"Text","value":"\n\n "},
4937 {"type":"Keyword","value":"return"},
4938 {"type":"Text","value":" "},
4939 {"type":"Name","value":"0"},
4940 {"type":"Text","value":"\n "},
4941 {"type":"Operator","value":"}"},
4942 {"type":"Text","value":"\n\n"},
4943 {"type":"Keyword","value":"open"},
4944 {"type":"Text","value":" "},
4945 {"type":"NameNamespace","value":"System"},
4946 {"type":"Text","value":"\n\n"},
4947 {"type":"Keyword","value":"type"},
4948 {"type":"Text","value":" "},
4949 {"type":"NameClass","value":"QueueTrigger"},
4950 {"type":"Operator","value":"("},
4951 {"type":"Name","value":"msg"},
4952 {"type":"Text","value":" "},
4953 {"type":"Operator","value":":"},
4954 {"type":"Text","value":" "},
4955 {"type":"KeywordType","value":"string"},
4956 {"type":"Operator","value":","},
4957 {"type":"Text","value":" "},
4958 {"type":"Name","value":"b"},
4959 {"type":"Text","value":" "},
4960 {"type":"Operator","value":":"},
4961 {"type":"Text","value":" "},
4962 {"type":"KeywordType","value":"bool"},
4963 {"type":"Operator","value":")"},
4964 {"type":"Text","value":" "},
4965 {"type":"Operator","value":"="},
4966 {"type":"Text","value":"\n "},
4967 {"type":"Keyword","value":"inherit"},
4968 {"type":"Text","value":" "},
4969 {"type":"Name","value":"Attribute"},
4970 {"type":"NameBuiltinPseudo","value":"()"},
4971 {"type":"Text","value":"\n\n"},
4972 {"type":"Keyword","value":"type"},
4973 {"type":"Text","value":" "},
4974 {"type":"Operator","value":"[\u003c"},
4975 {"type":"Name","value":"AllowNullLiteral"},
4976 {"type":"Operator","value":"\u003e]"},
4977 {"type":"Text","value":" "},
4978 {"type":"Name","value":"AppState2"},
4979 {"type":"NameBuiltinPseudo","value":"()"},
4980 {"type":"Text","value":" "},
4981 {"type":"Operator","value":"="},
4982 {"type":"Text","value":"\n "},
4983 {"type":"Keyword","value":"class"},
4984 {"type":"Text","value":" "},
4985 {"type":"Keyword","value":"end"},
4986 {"type":"Text","value":"\n\n"},
4987 {"type":"Keyword","value":"type"},
4988 {"type":"Text","value":" "},
4989 {"type":"Operator","value":"[\u003c"},
4990 {"type":"Name","value":"AllowNullLiteral"},
4991 {"type":"Operator","value":"\u003e]"},
4992 {"type":"Text","value":" "},
4993 {"type":"Name","value":"AppState"},
4994 {"type":"Operator","value":"\u003c"},
4995 {"type":"Keyword","value":"'"},
4996 {"type":"Name","value":"a"},
4997 {"type":"Operator","value":","},
4998 {"type":"Text","value":" "},
4999 {"type":"Keyword","value":"'"},
5000 {"type":"Name","value":"b"},
5001 {"type":"Operator","value":"\u003e"},
5002 {"type":"NameBuiltinPseudo","value":"()"},
5003 {"type":"Text","value":" "},
5004 {"type":"Operator","value":"="},
5005 {"type":"Text","value":"\n "},
5006 {"type":"Keyword","value":"class"},
5007 {"type":"Text","value":" "},
5008 {"type":"Keyword","value":"end"},
5009 {"type":"Text","value":"\n\n"},
5010 {"type":"Keyword","value":"let"},
5011 {"type":"Text","value":" "},
5012 {"type":"NameVariable","value":"run"},
5013 {"type":"Text","value":" "},
5014 {"type":"Operator","value":"([\u003c"},
5015 {"type":"Name","value":"QueueTrigger"},
5016 {"type":"Operator","value":"("},
5017 {"type":"LiteralString","value":"\"something\""},
5018 {"type":"Operator","value":","},
5019 {"type":"Text","value":" "},
5020 {"type":"Keyword","value":"false"},
5021 {"type":"Operator","value":");"},
5022 {"type":"Text","value":" "},
5023 {"type":"Name","value":"QueueTrigger"},
5024 {"type":"Operator","value":"("},
5025 {"type":"LiteralString","value":"\"something\""},
5026 {"type":"Operator","value":","},
5027 {"type":"Text","value":" "},
5028 {"type":"Keyword","value":"false"},
5029 {"type":"Operator","value":")\u003e]"},
5030 {"type":"Text","value":" "},
5031 {"type":"Name","value":"content"},
5032 {"type":"Operator","value":":"},
5033 {"type":"KeywordType","value":"string"},
5034 {"type":"Operator","value":")"},
5035 {"type":"Text","value":" "},
5036 {"type":"Operator","value":"="},
5037 {"type":"Text","value":" "},
5038 {"type":"Name","value":"failwith"},
5039 {"type":"Text","value":" "},
5040 {"type":"LiteralString","value":"\"\""},
5041 {"type":"Text","value":"\n\n"},
5042 {"type":"Keyword","value":"type"},
5043 {"type":"Text","value":" "},
5044 {"type":"Operator","value":"[\u003c"},
5045 {"type":"Name","value":"QueueTrigger"},
5046 {"type":"Operator","value":"("},
5047 {"type":"LiteralString","value":"\"something\""},
5048 {"type":"Operator","value":","},
5049 {"type":"Text","value":" "},
5050 {"type":"Keyword","value":"false"},
5051 {"type":"Operator","value":")\u003e]"},
5052 {"type":"Text","value":" "},
5053 {"type":"Name","value":"TestInlineAttributeGenerics"},
5054 {"type":"Operator","value":"\u003c"},
5055 {"type":"Keyword","value":"'"},
5056 {"type":"Name","value":"a"},
5057 {"type":"Operator","value":","},
5058 {"type":"Text","value":" "},
5059 {"type":"Keyword","value":"'"},
5060 {"type":"Name","value":"b"},
5061 {"type":"Operator","value":"\u003e("},
5062 {"type":"Name","value":"content"},
5063 {"type":"Operator","value":":"},
5064 {"type":"KeywordType","value":"string"},
5065 {"type":"Operator","value":")"},
5066 {"type":"Text","value":" "},
5067 {"type":"Operator","value":"="},
5068 {"type":"Text","value":"\n "},
5069 {"type":"Keyword","value":"class"},
5070 {"type":"Text","value":" "},
5071 {"type":"Keyword","value":"end"},
5072 {"type":"Text","value":"\n\n"},
5073 {"type":"Keyword","value":"type"},
5074 {"type":"Text","value":" "},
5075 {"type":"Operator","value":"[\u003c"},
5076 {"type":"Name","value":"QueueTrigger"},
5077 {"type":"Operator","value":"("},
5078 {"type":"LiteralString","value":"\"something\""},
5079 {"type":"Operator","value":","},
5080 {"type":"Text","value":" "},
5081 {"type":"Keyword","value":"false"},
5082 {"type":"Operator","value":")\u003e]"},
5083 {"type":"Text","value":" "},
5084 {"type":"Name","value":"TestInlineAttribute"},
5085 {"type":"Operator","value":"("},
5086 {"type":"Name","value":"content"},
5087 {"type":"Operator","value":":"},
5088 {"type":"KeywordType","value":"string"},
5089 {"type":"Operator","value":")"},
5090 {"type":"Text","value":" "},
5091 {"type":"Operator","value":"="},
5092 {"type":"Text","value":"\n "},
5093 {"type":"Keyword","value":"class"},
5094 {"type":"Text","value":" "},
5095 {"type":"Keyword","value":"end"},
5096 {"type":"Text","value":"\n\n"},
5097 {"type":"Operator","value":"[\u003c"},
5098 {"type":"Name","value":"QueueTrigger"},
5099 {"type":"Operator","value":"("},
5100 {"type":"LiteralString","value":"\"something\""},
5101 {"type":"Operator","value":","},
5102 {"type":"Text","value":" "},
5103 {"type":"Keyword","value":"false"},
5104 {"type":"Operator","value":");"},
5105 {"type":"Text","value":" "},
5106 {"type":"Name","value":"QueueTrigger"},
5107 {"type":"Operator","value":"("},
5108 {"type":"LiteralString","value":"\"something\""},
5109 {"type":"Operator","value":","},
5110 {"type":"Text","value":" "},
5111 {"type":"Keyword","value":"false"},
5112 {"type":"Operator","value":")\u003e]"},
5113 {"type":"Text","value":"\n"},
5114 {"type":"Keyword","value":"type"},
5115 {"type":"Text","value":" "},
5116 {"type":"NameClass","value":"TestAttribue2"},
5117 {"type":"Operator","value":"("},
5118 {"type":"Name","value":"content"},
5119 {"type":"Operator","value":":"},
5120 {"type":"KeywordType","value":"string"},
5121 {"type":"Operator","value":")"},
5122 {"type":"Text","value":" "},
5123 {"type":"Operator","value":"="},
5124 {"type":"Text","value":"\n "},
5125 {"type":"Keyword","value":"class"},
5126 {"type":"Text","value":" "},
5127 {"type":"Keyword","value":"end"},
5128 {"type":"Text","value":"\n\n"},
5129 {"type":"CommentSingle","value":"// // Make sure coloration support SRTP synthax\n// // The next code has been copied from\n// // https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/statically-resolved-type-parameters\n"},
5130 {"type":"Text","value":"\n"},
5131 {"type":"Keyword","value":"let"},
5132 {"type":"Text","value":" "},
5133 {"type":"NameVariable","value":"inline"},
5134 {"type":"Text","value":" "},
5135 {"type":"Name","value":"konst"},
5136 {"type":"Text","value":" "},
5137 {"type":"Name","value":"x"},
5138 {"type":"Text","value":" "},
5139 {"type":"Operator","value":"_"},
5140 {"type":"Text","value":" "},
5141 {"type":"Operator","value":"="},
5142 {"type":"Text","value":" "},
5143 {"type":"Name","value":"x"},
5144 {"type":"Text","value":"\n\n"},
5145 {"type":"Keyword","value":"type"},
5146 {"type":"Text","value":" "},
5147 {"type":"NameClass","value":"CFunctor"},
5148 {"type":"NameBuiltinPseudo","value":"()"},
5149 {"type":"Text","value":" "},
5150 {"type":"Operator","value":"="},
5151 {"type":"Text","value":"\n "},
5152 {"type":"Keyword","value":"static"},
5153 {"type":"Text","value":" "},
5154 {"type":"Keyword","value":"member"},
5155 {"type":"Text","value":" "},
5156 {"type":"Keyword","value":"inline"},
5157 {"type":"Text","value":" "},
5158 {"type":"Name","value":"fmap"},
5159 {"type":"Text","value":" "},
5160 {"type":"Operator","value":"("},
5161 {"type":"Name","value":"f"},
5162 {"type":"Operator","value":":"},
5163 {"type":"Text","value":" "},
5164 {"type":"Operator","value":"^"},
5165 {"type":"Name","value":"a"},
5166 {"type":"Text","value":" "},
5167 {"type":"Operator","value":"-\u003e"},
5168 {"type":"Text","value":" "},
5169 {"type":"Operator","value":"^"},
5170 {"type":"Name","value":"b"},
5171 {"type":"Operator","value":","},
5172 {"type":"Text","value":" "},
5173 {"type":"Name","value":"a"},
5174 {"type":"Operator","value":":"},
5175 {"type":"Text","value":" "},
5176 {"type":"Operator","value":"^"},
5177 {"type":"Name","value":"a"},
5178 {"type":"Text","value":" "},
5179 {"type":"KeywordType","value":"list"},
5180 {"type":"Operator","value":")"},
5181 {"type":"Text","value":" "},
5182 {"type":"Operator","value":"="},
5183 {"type":"Text","value":" "},
5184 {"type":"NameNamespace","value":"List"},
5185 {"type":"Punctuation","value":"."},
5186 {"type":"Name","value":"map"},
5187 {"type":"Text","value":" "},
5188 {"type":"Name","value":"f"},
5189 {"type":"Text","value":" "},
5190 {"type":"Name","value":"a"},
5191 {"type":"Text","value":"\n "},
5192 {"type":"Keyword","value":"static"},
5193 {"type":"Text","value":" "},
5194 {"type":"Keyword","value":"member"},
5195 {"type":"Text","value":" "},
5196 {"type":"Keyword","value":"inline"},
5197 {"type":"Text","value":" "},
5198 {"type":"Name","value":"fmap"},
5199 {"type":"Text","value":" "},
5200 {"type":"Operator","value":"("},
5201 {"type":"Name","value":"f"},
5202 {"type":"Operator","value":":"},
5203 {"type":"Text","value":" "},
5204 {"type":"Operator","value":"^"},
5205 {"type":"Name","value":"a"},
5206 {"type":"Text","value":" "},
5207 {"type":"Operator","value":"-\u003e"},
5208 {"type":"Text","value":" "},
5209 {"type":"Operator","value":"^"},
5210 {"type":"Name","value":"b"},
5211 {"type":"Operator","value":","},
5212 {"type":"Text","value":" "},
5213 {"type":"Name","value":"a"},
5214 {"type":"Operator","value":":"},
5215 {"type":"Text","value":" "},
5216 {"type":"Operator","value":"^"},
5217 {"type":"Name","value":"a"},
5218 {"type":"Text","value":" "},
5219 {"type":"Name","value":"option"},
5220 {"type":"Operator","value":")"},
5221 {"type":"Text","value":" "},
5222 {"type":"Operator","value":"="},
5223 {"type":"Text","value":"\n "},
5224 {"type":"Keyword","value":"match"},
5225 {"type":"Text","value":" "},
5226 {"type":"Name","value":"a"},
5227 {"type":"Text","value":" "},
5228 {"type":"Keyword","value":"with"},
5229 {"type":"Text","value":"\n "},
5230 {"type":"Operator","value":"|"},
5231 {"type":"Text","value":" "},
5232 {"type":"Name","value":"None"},
5233 {"type":"Text","value":" "},
5234 {"type":"Operator","value":"-\u003e"},
5235 {"type":"Text","value":" "},
5236 {"type":"Name","value":"None"},
5237 {"type":"Text","value":"\n "},
5238 {"type":"Operator","value":"|"},
5239 {"type":"Text","value":" "},
5240 {"type":"Name","value":"Some"},
5241 {"type":"Text","value":" "},
5242 {"type":"Name","value":"x"},
5243 {"type":"Text","value":" "},
5244 {"type":"Operator","value":"-\u003e"},
5245 {"type":"Text","value":" "},
5246 {"type":"Name","value":"Some"},
5247 {"type":"Text","value":" "},
5248 {"type":"Operator","value":"("},
5249 {"type":"Name","value":"f"},
5250 {"type":"Text","value":" "},
5251 {"type":"Name","value":"x"},
5252 {"type":"Operator","value":")"},
5253 {"type":"Text","value":"\n\n "},
5254 {"type":"CommentSingle","value":"// default implementation of replace\n"},
5255 {"type":"Text","value":" "},
5256 {"type":"Keyword","value":"static"},
5257 {"type":"Text","value":" "},
5258 {"type":"Keyword","value":"member"},
5259 {"type":"Text","value":" "},
5260 {"type":"Keyword","value":"inline"},
5261 {"type":"Text","value":" "},
5262 {"type":"Name","value":"replace"},
5263 {"type":"Operator","value":"\u003c"},
5264 {"type":"Text","value":" "},
5265 {"type":"Operator","value":"^"},
5266 {"type":"Name","value":"a"},
5267 {"type":"Operator","value":","},
5268 {"type":"Text","value":" "},
5269 {"type":"Operator","value":"^"},
5270 {"type":"Name","value":"b"},
5271 {"type":"Operator","value":","},
5272 {"type":"Text","value":" "},
5273 {"type":"Operator","value":"^"},
5274 {"type":"Name","value":"c"},
5275 {"type":"Operator","value":","},
5276 {"type":"Text","value":" "},
5277 {"type":"Operator","value":"^"},
5278 {"type":"Name","value":"d"},
5279 {"type":"Operator","value":","},
5280 {"type":"Text","value":" "},
5281 {"type":"Operator","value":"^"},
5282 {"type":"Name","value":"e"},
5283 {"type":"Text","value":" "},
5284 {"type":"Keyword","value":"when"},
5285 {"type":"Text","value":" "},
5286 {"type":"Operator","value":"^"},
5287 {"type":"Name","value":"a"},
5288 {"type":"Text","value":" "},
5289 {"type":"Operator","value":":\u003e"},
5290 {"type":"Text","value":" "},
5291 {"type":"Name","value":"CFunctor"},
5292 {"type":"Text","value":" "},
5293 {"type":"OperatorWord","value":"and"},
5294 {"type":"Text","value":" "},
5295 {"type":"Operator","value":"(^"},
5296 {"type":"Name","value":"a"},
5297 {"type":"Text","value":" "},
5298 {"type":"OperatorWord","value":"or"},
5299 {"type":"Text","value":" "},
5300 {"type":"Operator","value":"^"},
5301 {"type":"Name","value":"d"},
5302 {"type":"Operator","value":"):"},
5303 {"type":"Text","value":" "},
5304 {"type":"Operator","value":"("},
5305 {"type":"Keyword","value":"static"},
5306 {"type":"Text","value":" "},
5307 {"type":"Keyword","value":"member"},
5308 {"type":"Text","value":" "},
5309 {"type":"Name","value":"fmap"},
5310 {"type":"Operator","value":":"},
5311 {"type":"Text","value":" "},
5312 {"type":"Operator","value":"(^"},
5313 {"type":"Name","value":"b"},
5314 {"type":"Text","value":" "},
5315 {"type":"Operator","value":"-\u003e"},
5316 {"type":"Text","value":" "},
5317 {"type":"Operator","value":"^"},
5318 {"type":"Name","value":"c"},
5319 {"type":"Operator","value":")"},
5320 {"type":"Text","value":" "},
5321 {"type":"Operator","value":"*"},
5322 {"type":"Text","value":" "},
5323 {"type":"Operator","value":"^"},
5324 {"type":"Name","value":"d"},
5325 {"type":"Text","value":" "},
5326 {"type":"Operator","value":"-\u003e"},
5327 {"type":"Text","value":" "},
5328 {"type":"Operator","value":"^"},
5329 {"type":"Name","value":"e"},
5330 {"type":"Operator","value":")"},
5331 {"type":"Text","value":" "},
5332 {"type":"Operator","value":"\u003e"},
5333 {"type":"Text","value":" "},
5334 {"type":"Operator","value":"("},
5335 {"type":"Name","value":"a"},
5336 {"type":"Operator","value":","},
5337 {"type":"Text","value":" "},
5338 {"type":"Name","value":"f"},
5339 {"type":"Operator","value":")"},
5340 {"type":"Text","value":" "},
5341 {"type":"Operator","value":"="},
5342 {"type":"Text","value":"\n "},
5343 {"type":"Operator","value":"((^"},
5344 {"type":"Name","value":"a"},
5345 {"type":"Text","value":" "},
5346 {"type":"OperatorWord","value":"or"},
5347 {"type":"Text","value":" "},
5348 {"type":"Operator","value":"^"},
5349 {"type":"Name","value":"d"},
5350 {"type":"Operator","value":")"},
5351 {"type":"Text","value":" "},
5352 {"type":"Operator","value":":"},
5353 {"type":"Text","value":" "},
5354 {"type":"Operator","value":"("},
5355 {"type":"Keyword","value":"static"},
5356 {"type":"Text","value":" "},
5357 {"type":"Keyword","value":"member"},
5358 {"type":"Text","value":" "},
5359 {"type":"Name","value":"fmap"},
5360 {"type":"Text","value":" "},
5361 {"type":"Operator","value":":"},
5362 {"type":"Text","value":" "},
5363 {"type":"Operator","value":"(^"},
5364 {"type":"Name","value":"b"},
5365 {"type":"Text","value":" "},
5366 {"type":"Operator","value":"-\u003e"},
5367 {"type":"Text","value":" "},
5368 {"type":"Operator","value":"^"},
5369 {"type":"Name","value":"c"},
5370 {"type":"Operator","value":")"},
5371 {"type":"Text","value":" "},
5372 {"type":"Operator","value":"*"},
5373 {"type":"Text","value":" "},
5374 {"type":"Operator","value":"^"},
5375 {"type":"Name","value":"d"},
5376 {"type":"Text","value":" "},
5377 {"type":"Operator","value":"-\u003e"},
5378 {"type":"Text","value":" "},
5379 {"type":"Operator","value":"^"},
5380 {"type":"Name","value":"e"},
5381 {"type":"Operator","value":")"},
5382 {"type":"Text","value":" "},
5383 {"type":"Operator","value":"("},
5384 {"type":"Name","value":"konst"},
5385 {"type":"Text","value":" "},
5386 {"type":"Name","value":"a"},
5387 {"type":"Operator","value":","},
5388 {"type":"Text","value":" "},
5389 {"type":"Name","value":"f"},
5390 {"type":"Operator","value":"))"},
5391 {"type":"Text","value":"\n\n "},
5392 {"type":"CommentSingle","value":"// call overridden replace if present\n"},
5393 {"type":"Text","value":" "},
5394 {"type":"Keyword","value":"static"},
5395 {"type":"Text","value":" "},
5396 {"type":"Keyword","value":"member"},
5397 {"type":"Text","value":" "},
5398 {"type":"Keyword","value":"inline"},
5399 {"type":"Text","value":" "},
5400 {"type":"Name","value":"replace"},
5401 {"type":"Operator","value":"\u003c"},
5402 {"type":"Text","value":" "},
5403 {"type":"Operator","value":"^"},
5404 {"type":"Name","value":"a"},
5405 {"type":"Operator","value":","},
5406 {"type":"Text","value":" "},
5407 {"type":"Operator","value":"^"},
5408 {"type":"Name","value":"b"},
5409 {"type":"Operator","value":","},
5410 {"type":"Text","value":" "},
5411 {"type":"Operator","value":"^"},
5412 {"type":"Name","value":"c"},
5413 {"type":"Text","value":" "},
5414 {"type":"Keyword","value":"when"},
5415 {"type":"Text","value":" "},
5416 {"type":"Operator","value":"^"},
5417 {"type":"Name","value":"b"},
5418 {"type":"Operator","value":":"},
5419 {"type":"Text","value":" "},
5420 {"type":"Operator","value":"("},
5421 {"type":"Keyword","value":"static"},
5422 {"type":"Text","value":" "},
5423 {"type":"Keyword","value":"member"},
5424 {"type":"Text","value":" "},
5425 {"type":"Name","value":"replace"},
5426 {"type":"Operator","value":":"},
5427 {"type":"Text","value":" "},
5428 {"type":"Operator","value":"^"},
5429 {"type":"Name","value":"a"},
5430 {"type":"Text","value":" "},
5431 {"type":"Operator","value":"*"},
5432 {"type":"Text","value":" "},
5433 {"type":"Operator","value":"^"},
5434 {"type":"Name","value":"b"},
5435 {"type":"Text","value":" "},
5436 {"type":"Operator","value":"-\u003e"},
5437 {"type":"Text","value":" "},
5438 {"type":"Operator","value":"^"},
5439 {"type":"Name","value":"c"},
5440 {"type":"Operator","value":")\u003e("},
5441 {"type":"Name","value":"a"},
5442 {"type":"Operator","value":":"},
5443 {"type":"Text","value":" "},
5444 {"type":"Operator","value":"^"},
5445 {"type":"Name","value":"a"},
5446 {"type":"Operator","value":","},
5447 {"type":"Text","value":" "},
5448 {"type":"Name","value":"f"},
5449 {"type":"Operator","value":":"},
5450 {"type":"Text","value":" "},
5451 {"type":"Operator","value":"^"},
5452 {"type":"Name","value":"b"},
5453 {"type":"Operator","value":")"},
5454 {"type":"Text","value":" "},
5455 {"type":"Operator","value":"="},
5456 {"type":"Text","value":"\n "},
5457 {"type":"Operator","value":"(^"},
5458 {"type":"Name","value":"b"},
5459 {"type":"Text","value":" "},
5460 {"type":"Operator","value":":"},
5461 {"type":"Text","value":" "},
5462 {"type":"Operator","value":"("},
5463 {"type":"Keyword","value":"static"},
5464 {"type":"Text","value":" "},
5465 {"type":"Keyword","value":"member"},
5466 {"type":"Text","value":" "},
5467 {"type":"Name","value":"replace"},
5468 {"type":"Operator","value":":"},
5469 {"type":"Text","value":" "},
5470 {"type":"Operator","value":"^"},
5471 {"type":"Name","value":"a"},
5472 {"type":"Text","value":" "},
5473 {"type":"Operator","value":"*"},
5474 {"type":"Text","value":" "},
5475 {"type":"Operator","value":"^"},
5476 {"type":"Name","value":"b"},
5477 {"type":"Text","value":" "},
5478 {"type":"Operator","value":"-\u003e"},
5479 {"type":"Text","value":" "},
5480 {"type":"Operator","value":"^"},
5481 {"type":"Name","value":"c"},
5482 {"type":"Operator","value":")"},
5483 {"type":"Text","value":" "},
5484 {"type":"Operator","value":"("},
5485 {"type":"Name","value":"a"},
5486 {"type":"Operator","value":","},
5487 {"type":"Text","value":" "},
5488 {"type":"Name","value":"f"},
5489 {"type":"Operator","value":"))"},
5490 {"type":"Text","value":"\n\n"},
5491 {"type":"Keyword","value":"let"},
5492 {"type":"Text","value":" "},
5493 {"type":"NameVariable","value":"inline"},
5494 {"type":"Text","value":" "},
5495 {"type":"Name","value":"replace_instance"},
5496 {"type":"Operator","value":"\u003c"},
5497 {"type":"Text","value":" "},
5498 {"type":"Operator","value":"^"},
5499 {"type":"Name","value":"a"},
5500 {"type":"Operator","value":","},
5501 {"type":"Text","value":" "},
5502 {"type":"Operator","value":"^"},
5503 {"type":"Name","value":"b"},
5504 {"type":"Operator","value":","},
5505 {"type":"Text","value":" "},
5506 {"type":"Operator","value":"^"},
5507 {"type":"Name","value":"c"},
5508 {"type":"Operator","value":","},
5509 {"type":"Text","value":" "},
5510 {"type":"Operator","value":"^"},
5511 {"type":"Name","value":"d"},
5512 {"type":"Text","value":" "},
5513 {"type":"Keyword","value":"when"},
5514 {"type":"Text","value":" "},
5515 {"type":"Operator","value":"(^"},
5516 {"type":"Name","value":"a"},
5517 {"type":"Text","value":" "},
5518 {"type":"OperatorWord","value":"or"},
5519 {"type":"Text","value":" "},
5520 {"type":"Operator","value":"^"},
5521 {"type":"Name","value":"c"},
5522 {"type":"Operator","value":"):"},
5523 {"type":"Text","value":" "},
5524 {"type":"Operator","value":"("},
5525 {"type":"Keyword","value":"static"},
5526 {"type":"Text","value":" "},
5527 {"type":"Keyword","value":"member"},
5528 {"type":"Text","value":" "},
5529 {"type":"Name","value":"replace"},
5530 {"type":"Operator","value":":"},
5531 {"type":"Text","value":" "},
5532 {"type":"Operator","value":"^"},
5533 {"type":"Name","value":"b"},
5534 {"type":"Text","value":" "},
5535 {"type":"Operator","value":"*"},
5536 {"type":"Text","value":" "},
5537 {"type":"Operator","value":"^"},
5538 {"type":"Name","value":"c"},
5539 {"type":"Text","value":" "},
5540 {"type":"Operator","value":"-\u003e"},
5541 {"type":"Text","value":" "},
5542 {"type":"Operator","value":"^"},
5543 {"type":"Name","value":"d"},
5544 {"type":"Operator","value":")\u003e"},
5545 {"type":"Text","value":" "},
5546 {"type":"Operator","value":"("},
5547 {"type":"Name","value":"a"},
5548 {"type":"Operator","value":":"},
5549 {"type":"Text","value":" "},
5550 {"type":"Operator","value":"^"},
5551 {"type":"Name","value":"b"},
5552 {"type":"Operator","value":","},
5553 {"type":"Text","value":" "},
5554 {"type":"Name","value":"f"},
5555 {"type":"Operator","value":":"},
5556 {"type":"Text","value":" "},
5557 {"type":"Operator","value":"^"},
5558 {"type":"Name","value":"c"},
5559 {"type":"Operator","value":")"},
5560 {"type":"Text","value":" "},
5561 {"type":"Operator","value":"="},
5562 {"type":"Text","value":"\n "},
5563 {"type":"Operator","value":"((^"},
5564 {"type":"Name","value":"a"},
5565 {"type":"Text","value":" "},
5566 {"type":"OperatorWord","value":"or"},
5567 {"type":"Text","value":" "},
5568 {"type":"Operator","value":"^"},
5569 {"type":"Name","value":"c"},
5570 {"type":"Operator","value":"):"},
5571 {"type":"Text","value":" "},
5572 {"type":"Operator","value":"("},
5573 {"type":"Keyword","value":"static"},
5574 {"type":"Text","value":" "},
5575 {"type":"Keyword","value":"member"},
5576 {"type":"Text","value":" "},
5577 {"type":"Name","value":"replace"},
5578 {"type":"Operator","value":":"},
5579 {"type":"Text","value":" "},
5580 {"type":"Operator","value":"^"},
5581 {"type":"Name","value":"b"},
5582 {"type":"Text","value":" "},
5583 {"type":"Operator","value":"*"},
5584 {"type":"Text","value":" "},
5585 {"type":"Operator","value":"^"},
5586 {"type":"Name","value":"c"},
5587 {"type":"Text","value":" "},
5588 {"type":"Operator","value":"-\u003e"},
5589 {"type":"Text","value":" "},
5590 {"type":"Operator","value":"^"},
5591 {"type":"Name","value":"d"},
5592 {"type":"Operator","value":")"},
5593 {"type":"Text","value":" "},
5594 {"type":"Operator","value":"("},
5595 {"type":"Name","value":"a"},
5596 {"type":"Operator","value":","},
5597 {"type":"Text","value":" "},
5598 {"type":"Name","value":"f"},
5599 {"type":"Operator","value":"))"},
5600 {"type":"Text","value":"\n\n"},
5601 {"type":"CommentSingle","value":"// Note the concrete type 'CFunctor' specified in the signature\n"},
5602 {"type":"Keyword","value":"let"},
5603 {"type":"Text","value":" "},
5604 {"type":"NameVariable","value":"inline"},
5605 {"type":"Text","value":" "},
5606 {"type":"Name","value":"replace"},
5607 {"type":"Text","value":" "},
5608 {"type":"Operator","value":"("},
5609 {"type":"Name","value":"a"},
5610 {"type":"Operator","value":":"},
5611 {"type":"Text","value":" "},
5612 {"type":"Operator","value":"^"},
5613 {"type":"Name","value":"a"},
5614 {"type":"Operator","value":")"},
5615 {"type":"Text","value":" "},
5616 {"type":"Operator","value":"("},
5617 {"type":"Name","value":"f"},
5618 {"type":"Operator","value":":"},
5619 {"type":"Text","value":" "},
5620 {"type":"Operator","value":"^"},
5621 {"type":"Name","value":"b"},
5622 {"type":"Operator","value":"):"},
5623 {"type":"Text","value":" "},
5624 {"type":"Operator","value":"^"},
5625 {"type":"Name","value":"a0"},
5626 {"type":"Text","value":" "},
5627 {"type":"Keyword","value":"when"},
5628 {"type":"Text","value":" "},
5629 {"type":"Operator","value":"("},
5630 {"type":"Name","value":"CFunctor"},
5631 {"type":"Text","value":" "},
5632 {"type":"OperatorWord","value":"or"},
5633 {"type":"Text","value":" "},
5634 {"type":"Operator","value":"^"},
5635 {"type":"Name","value":"b"},
5636 {"type":"Operator","value":"):"},
5637 {"type":"Text","value":" "},
5638 {"type":"Operator","value":"("},
5639 {"type":"Keyword","value":"static"},
5640 {"type":"Text","value":" "},
5641 {"type":"Keyword","value":"member"},
5642 {"type":"Text","value":" "},
5643 {"type":"Name","value":"replace"},
5644 {"type":"Operator","value":":"},
5645 {"type":"Text","value":" "},
5646 {"type":"Operator","value":"^"},
5647 {"type":"Name","value":"a"},
5648 {"type":"Text","value":" "},
5649 {"type":"Operator","value":"*"},
5650 {"type":"Text","value":" "},
5651 {"type":"Operator","value":"^"},
5652 {"type":"Name","value":"b"},
5653 {"type":"Text","value":" "},
5654 {"type":"Operator","value":"-\u003e"},
5655 {"type":"Text","value":" "},
5656 {"type":"Operator","value":"^"},
5657 {"type":"Name","value":"a0"},
5658 {"type":"Operator","value":")"},
5659 {"type":"Text","value":" "},
5660 {"type":"Operator","value":"="},
5661 {"type":"Text","value":"\n "},
5662 {"type":"Name","value":"replace_instance"},
5663 {"type":"Operator","value":"\u003c"},
5664 {"type":"Name","value":"CFunctor"},
5665 {"type":"Operator","value":","},
5666 {"type":"Text","value":" "},
5667 {"type":"Operator","value":"_,"},
5668 {"type":"Text","value":" "},
5669 {"type":"Operator","value":"_,"},
5670 {"type":"Text","value":" "},
5671 {"type":"Operator","value":"_\u003e"},
5672 {"type":"Text","value":" "},
5673 {"type":"Operator","value":"("},
5674 {"type":"Name","value":"a"},
5675 {"type":"Operator","value":","},
5676 {"type":"Text","value":" "},
5677 {"type":"Name","value":"f"},
5678 {"type":"Operator","value":")"},
5679 {"type":"Text","value":"\n\n"},
5680 {"type":"CommentSingle","value":"// End of SRTP synthax\n"},
5681 {"type":"Text","value":"\n"},
5682 {"type":"CommentSingle","value":"// Make sure constraints are correctly colored\n// https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/generics/constraints\n"},
5683 {"type":"Text","value":"\n"},
5684 {"type":"CommentSingle","value":"// Base Type Constraint\n"},
5685 {"type":"Keyword","value":"type"},
5686 {"type":"Text","value":" "},
5687 {"type":"NameClass","value":"Class1"},
5688 {"type":"Operator","value":"\u003c"},
5689 {"type":"Keyword","value":"'"},
5690 {"type":"Name","value":"T"},
5691 {"type":"Text","value":" "},
5692 {"type":"Keyword","value":"when"},
5693 {"type":"Text","value":" "},
5694 {"type":"Keyword","value":"'"},
5695 {"type":"Name","value":"T"},
5696 {"type":"Text","value":" "},
5697 {"type":"Operator","value":":\u003e"},
5698 {"type":"Text","value":" "},
5699 {"type":"NameNamespace","value":"System"},
5700 {"type":"Punctuation","value":"."},
5701 {"type":"Name","value":"Exception"},
5702 {"type":"Operator","value":"\u003e"},
5703 {"type":"Text","value":" "},
5704 {"type":"Operator","value":"="},
5705 {"type":"Text","value":"\n "},
5706 {"type":"Keyword","value":"class"},
5707 {"type":"Text","value":" "},
5708 {"type":"Keyword","value":"end"},
5709 {"type":"Text","value":"\n\n"},
5710 {"type":"CommentSingle","value":"// Interface Type Constraint\n"},
5711 {"type":"Keyword","value":"type"},
5712 {"type":"Text","value":" "},
5713 {"type":"NameClass","value":"Class2"},
5714 {"type":"Operator","value":"\u003c"},
5715 {"type":"Keyword","value":"'"},
5716 {"type":"Name","value":"T"},
5717 {"type":"Text","value":" "},
5718 {"type":"Keyword","value":"when"},
5719 {"type":"Text","value":" "},
5720 {"type":"Keyword","value":"'"},
5721 {"type":"Name","value":"T"},
5722 {"type":"Text","value":" "},
5723 {"type":"Operator","value":":\u003e"},
5724 {"type":"Text","value":" "},
5725 {"type":"NameNamespace","value":"System"},
5726 {"type":"Punctuation","value":"."},
5727 {"type":"Name","value":"IComparable"},
5728 {"type":"Operator","value":"\u003e"},
5729 {"type":"Text","value":" "},
5730 {"type":"Operator","value":"="},
5731 {"type":"Text","value":"\n "},
5732 {"type":"Keyword","value":"class"},
5733 {"type":"Text","value":" "},
5734 {"type":"Keyword","value":"end"},
5735 {"type":"Text","value":"\n\n"},
5736 {"type":"CommentSingle","value":"// Null constraint\n"},
5737 {"type":"Keyword","value":"type"},
5738 {"type":"Text","value":" "},
5739 {"type":"NameClass","value":"Class3"},
5740 {"type":"Operator","value":"\u003c"},
5741 {"type":"Keyword","value":"'"},
5742 {"type":"Name","value":"T"},
5743 {"type":"Text","value":" "},
5744 {"type":"Keyword","value":"when"},
5745 {"type":"Text","value":" "},
5746 {"type":"Keyword","value":"'"},
5747 {"type":"Name","value":"T"},
5748 {"type":"Text","value":" "},
5749 {"type":"Operator","value":":"},
5750 {"type":"Text","value":" "},
5751 {"type":"Keyword","value":"null"},
5752 {"type":"Operator","value":"\u003e"},
5753 {"type":"Text","value":" "},
5754 {"type":"Operator","value":"="},
5755 {"type":"Text","value":"\n "},
5756 {"type":"Keyword","value":"class"},
5757 {"type":"Text","value":" "},
5758 {"type":"Keyword","value":"end"},
5759 {"type":"Text","value":"\n\n"},
5760 {"type":"CommentSingle","value":"// Member constraint with static member\n"},
5761 {"type":"Keyword","value":"type"},
5762 {"type":"Text","value":" "},
5763 {"type":"NameClass","value":"Class4"},
5764 {"type":"Operator","value":"\u003c"},
5765 {"type":"Keyword","value":"'"},
5766 {"type":"Name","value":"T"},
5767 {"type":"Text","value":" "},
5768 {"type":"Keyword","value":"when"},
5769 {"type":"Text","value":" "},
5770 {"type":"Keyword","value":"'"},
5771 {"type":"Name","value":"T"},
5772 {"type":"Text","value":" "},
5773 {"type":"Operator","value":":"},
5774 {"type":"Text","value":" "},
5775 {"type":"Operator","value":"("},
5776 {"type":"Keyword","value":"static"},
5777 {"type":"Text","value":" "},
5778 {"type":"Keyword","value":"member"},
5779 {"type":"Text","value":" "},
5780 {"type":"Name","value":"staticMethod1"},
5781 {"type":"Text","value":" "},
5782 {"type":"Operator","value":":"},
5783 {"type":"Text","value":" "},
5784 {"type":"KeywordType","value":"unit"},
5785 {"type":"Text","value":" "},
5786 {"type":"Operator","value":"-\u003e"},
5787 {"type":"Text","value":" "},
5788 {"type":"Keyword","value":"'"},
5789 {"type":"Name","value":"T"},
5790 {"type":"Operator","value":")"},
5791 {"type":"Text","value":" "},
5792 {"type":"Operator","value":"\u003e"},
5793 {"type":"Text","value":" "},
5794 {"type":"Operator","value":"="},
5795 {"type":"Text","value":"\n "},
5796 {"type":"Keyword","value":"class"},
5797 {"type":"Text","value":" "},
5798 {"type":"Keyword","value":"end"},
5799 {"type":"Text","value":"\n\n"},
5800 {"type":"CommentSingle","value":"// Member constraint with instance member\n"},
5801 {"type":"Keyword","value":"type"},
5802 {"type":"Text","value":" "},
5803 {"type":"NameClass","value":"Class5"},
5804 {"type":"Operator","value":"\u003c"},
5805 {"type":"Keyword","value":"'"},
5806 {"type":"Name","value":"T"},
5807 {"type":"Text","value":" "},
5808 {"type":"Keyword","value":"when"},
5809 {"type":"Text","value":" "},
5810 {"type":"Keyword","value":"'"},
5811 {"type":"Name","value":"T"},
5812 {"type":"Text","value":" "},
5813 {"type":"Operator","value":":"},
5814 {"type":"Text","value":" "},
5815 {"type":"Operator","value":"("},
5816 {"type":"Keyword","value":"member"},
5817 {"type":"Text","value":" "},
5818 {"type":"Name","value":"Method1"},
5819 {"type":"Text","value":" "},
5820 {"type":"Operator","value":":"},
5821 {"type":"Text","value":" "},
5822 {"type":"Keyword","value":"'"},
5823 {"type":"Name","value":"T"},
5824 {"type":"Text","value":" "},
5825 {"type":"Operator","value":"-\u003e"},
5826 {"type":"Text","value":" "},
5827 {"type":"Name","value":"int"},
5828 {"type":"Operator","value":")\u003e"},
5829 {"type":"Text","value":" "},
5830 {"type":"Operator","value":"="},
5831 {"type":"Text","value":"\n "},
5832 {"type":"Keyword","value":"class"},
5833 {"type":"Text","value":" "},
5834 {"type":"Keyword","value":"end"},
5835 {"type":"Text","value":"\n\n"},
5836 {"type":"CommentSingle","value":"// Member constraint with property\n"},
5837 {"type":"Keyword","value":"type"},
5838 {"type":"Text","value":" "},
5839 {"type":"NameClass","value":"Class6"},
5840 {"type":"Operator","value":"\u003c"},
5841 {"type":"Keyword","value":"'"},
5842 {"type":"Name","value":"T"},
5843 {"type":"Text","value":" "},
5844 {"type":"Keyword","value":"when"},
5845 {"type":"Text","value":" "},
5846 {"type":"Keyword","value":"'"},
5847 {"type":"Name","value":"T"},
5848 {"type":"Text","value":" "},
5849 {"type":"Operator","value":":"},
5850 {"type":"Text","value":" "},
5851 {"type":"Operator","value":"("},
5852 {"type":"Keyword","value":"member"},
5853 {"type":"Text","value":" "},
5854 {"type":"Name","value":"Property1"},
5855 {"type":"Text","value":" "},
5856 {"type":"Operator","value":":"},
5857 {"type":"Text","value":" "},
5858 {"type":"Name","value":"int"},
5859 {"type":"Operator","value":")\u003e"},
5860 {"type":"Text","value":" "},
5861 {"type":"Operator","value":"="},
5862 {"type":"Text","value":"\n "},
5863 {"type":"Keyword","value":"class"},
5864 {"type":"Text","value":" "},
5865 {"type":"Keyword","value":"end"},
5866 {"type":"Text","value":"\n\n"},
5867 {"type":"CommentSingle","value":"// Constructor constraint\n"},
5868 {"type":"Keyword","value":"type"},
5869 {"type":"Text","value":" "},
5870 {"type":"NameClass","value":"Class7"},
5871 {"type":"Operator","value":"\u003c"},
5872 {"type":"Keyword","value":"'"},
5873 {"type":"Name","value":"T"},
5874 {"type":"Text","value":" "},
5875 {"type":"Keyword","value":"when"},
5876 {"type":"Text","value":" "},
5877 {"type":"Keyword","value":"'"},
5878 {"type":"Name","value":"T"},
5879 {"type":"Text","value":" "},
5880 {"type":"Operator","value":":"},
5881 {"type":"Text","value":" "},
5882 {"type":"Operator","value":"("},
5883 {"type":"Keyword","value":"new"},
5884 {"type":"Text","value":" "},
5885 {"type":"Operator","value":":"},
5886 {"type":"Text","value":" "},
5887 {"type":"KeywordType","value":"unit"},
5888 {"type":"Text","value":" "},
5889 {"type":"Operator","value":"-\u003e"},
5890 {"type":"Text","value":" "},
5891 {"type":"Keyword","value":"'"},
5892 {"type":"Name","value":"T"},
5893 {"type":"Operator","value":")\u003e("},
5894 {"type":"Name","value":"thing"},
5895 {"type":"Operator","value":":"},
5896 {"type":"Name","value":"int"},
5897 {"type":"Operator","value":","},
5898 {"type":"Text","value":" "},
5899 {"type":"Name","value":"var2"},
5900 {"type":"Text","value":" "},
5901 {"type":"Operator","value":":"},
5902 {"type":"Text","value":" "},
5903 {"type":"KeywordType","value":"string"},
5904 {"type":"Text","value":" "},
5905 {"type":"Operator","value":"-\u003e"},
5906 {"type":"Text","value":" "},
5907 {"type":"KeywordType","value":"string"},
5908 {"type":"Operator","value":","},
5909 {"type":"Text","value":" "},
5910 {"type":"Name","value":"``ddzdz``"},
5911 {"type":"Operator","value":":"},
5912 {"type":"Text","value":" "},
5913 {"type":"KeywordType","value":"string"},
5914 {"type":"Text","value":" "},
5915 {"type":"KeywordType","value":"list"},
5916 {"type":"Operator","value":","},
5917 {"type":"Text","value":" "},
5918 {"type":"Name","value":"extra"},
5919 {"type":"Operator","value":")"},
5920 {"type":"Text","value":" "},
5921 {"type":"Keyword","value":"as"},
5922 {"type":"Text","value":" "},
5923 {"type":"Name","value":"xxx"},
5924 {"type":"Text","value":" "},
5925 {"type":"Operator","value":"="},
5926 {"type":"Text","value":"\n "},
5927 {"type":"Keyword","value":"member"},
5928 {"type":"Text","value":" "},
5929 {"type":"Keyword","value":"val"},
5930 {"type":"Text","value":" "},
5931 {"type":"Name","value":"Field"},
5932 {"type":"Text","value":" "},
5933 {"type":"Operator","value":"="},
5934 {"type":"Text","value":" "},
5935 {"type":"Keyword","value":"new"},
5936 {"type":"Text","value":" "},
5937 {"type":"Keyword","value":"'"},
5938 {"type":"Name","value":"T"},
5939 {"type":"NameBuiltinPseudo","value":"()"},
5940 {"type":"Text","value":"\n\n"},
5941 {"type":"CommentSingle","value":"// Reference type constraint\n"},
5942 {"type":"Keyword","value":"type"},
5943 {"type":"Text","value":" "},
5944 {"type":"NameClass","value":"Class8"},
5945 {"type":"Operator","value":"\u003c"},
5946 {"type":"Keyword","value":"'"},
5947 {"type":"Name","value":"T"},
5948 {"type":"Text","value":" "},
5949 {"type":"Keyword","value":"when"},
5950 {"type":"Text","value":" "},
5951 {"type":"Keyword","value":"'"},
5952 {"type":"Name","value":"T"},
5953 {"type":"Text","value":" "},
5954 {"type":"Operator","value":":"},
5955 {"type":"Text","value":" "},
5956 {"type":"OperatorWord","value":"not"},
5957 {"type":"Text","value":" "},
5958 {"type":"Keyword","value":"struct"},
5959 {"type":"Operator","value":"\u003e"},
5960 {"type":"Text","value":" "},
5961 {"type":"Operator","value":"="},
5962 {"type":"Text","value":"\n "},
5963 {"type":"Keyword","value":"class"},
5964 {"type":"Text","value":" "},
5965 {"type":"Keyword","value":"end"},
5966 {"type":"Text","value":"\n\n"},
5967 {"type":"CommentSingle","value":"// Enumeration constraint with underlying value specified\n"},
5968 {"type":"Keyword","value":"type"},
5969 {"type":"Text","value":" "},
5970 {"type":"NameClass","value":"Class9"},
5971 {"type":"Operator","value":"\u003c"},
5972 {"type":"Keyword","value":"'"},
5973 {"type":"Name","value":"T"},
5974 {"type":"Text","value":" "},
5975 {"type":"Keyword","value":"when"},
5976 {"type":"Text","value":" "},
5977 {"type":"Keyword","value":"'"},
5978 {"type":"Name","value":"T"},
5979 {"type":"Text","value":" "},
5980 {"type":"Operator","value":":"},
5981 {"type":"Text","value":" "},
5982 {"type":"KeywordType","value":"enum"},
5983 {"type":"Operator","value":"\u003c"},
5984 {"type":"KeywordType","value":"uint32"},
5985 {"type":"Operator","value":"\u003e\u003e"},
5986 {"type":"Text","value":" "},
5987 {"type":"Operator","value":"="},
5988 {"type":"Text","value":"\n "},
5989 {"type":"Keyword","value":"class"},
5990 {"type":"Text","value":" "},
5991 {"type":"Keyword","value":"end"},
5992 {"type":"Text","value":"\n\n"},
5993 {"type":"CommentSingle","value":"// 'T must implement IComparable, or be an array type with comparable\n// elements, or be System.IntPtr or System.UIntPtr. Also, 'T must not have\n// the NoComparison attribute.\n"},
5994 {"type":"Keyword","value":"type"},
5995 {"type":"Text","value":" "},
5996 {"type":"NameClass","value":"Class10"},
5997 {"type":"Operator","value":"\u003c"},
5998 {"type":"Keyword","value":"'"},
5999 {"type":"Name","value":"T"},
6000 {"type":"Text","value":" "},
6001 {"type":"Keyword","value":"when"},
6002 {"type":"Text","value":" "},
6003 {"type":"Keyword","value":"'"},
6004 {"type":"Name","value":"T"},
6005 {"type":"Text","value":" "},
6006 {"type":"Operator","value":":"},
6007 {"type":"Text","value":" "},
6008 {"type":"Name","value":"comparison"},
6009 {"type":"Operator","value":"\u003e"},
6010 {"type":"Text","value":" "},
6011 {"type":"Operator","value":"="},
6012 {"type":"Text","value":"\n "},
6013 {"type":"Keyword","value":"class"},
6014 {"type":"Text","value":" "},
6015 {"type":"Keyword","value":"end"},
6016 {"type":"Text","value":"\n\n"},
6017 {"type":"CommentSingle","value":"// 'T must support equality. This is true for any type that does not\n// have the NoEquality attribute.\n"},
6018 {"type":"Keyword","value":"type"},
6019 {"type":"Text","value":" "},
6020 {"type":"NameClass","value":"Class11"},
6021 {"type":"Operator","value":"\u003c"},
6022 {"type":"Keyword","value":"'"},
6023 {"type":"Name","value":"T"},
6024 {"type":"Text","value":" "},
6025 {"type":"Keyword","value":"when"},
6026 {"type":"Text","value":" "},
6027 {"type":"Keyword","value":"'"},
6028 {"type":"Name","value":"T"},
6029 {"type":"Text","value":" "},
6030 {"type":"Operator","value":":"},
6031 {"type":"Text","value":" "},
6032 {"type":"Name","value":"equality"},
6033 {"type":"Operator","value":"\u003e"},
6034 {"type":"Text","value":" "},
6035 {"type":"Operator","value":"="},
6036 {"type":"Text","value":"\n "},
6037 {"type":"Keyword","value":"class"},
6038 {"type":"Text","value":" "},
6039 {"type":"Keyword","value":"end"},
6040 {"type":"Text","value":"\n\n"},
6041 {"type":"Keyword","value":"type"},
6042 {"type":"Text","value":" "},
6043 {"type":"NameClass","value":"Class12"},
6044 {"type":"Operator","value":"\u003c"},
6045 {"type":"Keyword","value":"'"},
6046 {"type":"Name","value":"T"},
6047 {"type":"Text","value":" "},
6048 {"type":"Keyword","value":"when"},
6049 {"type":"Text","value":" "},
6050 {"type":"Keyword","value":"'"},
6051 {"type":"Name","value":"T"},
6052 {"type":"Text","value":" "},
6053 {"type":"Operator","value":":"},
6054 {"type":"Text","value":" "},
6055 {"type":"Keyword","value":"delegate"},
6056 {"type":"Operator","value":"\u003c"},
6057 {"type":"KeywordType","value":"obj"},
6058 {"type":"Text","value":" "},
6059 {"type":"Operator","value":"*"},
6060 {"type":"Text","value":" "},
6061 {"type":"NameNamespace","value":"System"},
6062 {"type":"Punctuation","value":"."},
6063 {"type":"Name","value":"EventArgs"},
6064 {"type":"Operator","value":","},
6065 {"type":"Text","value":" "},
6066 {"type":"KeywordType","value":"unit"},
6067 {"type":"Operator","value":"\u003e\u003e"},
6068 {"type":"Text","value":" "},
6069 {"type":"Operator","value":"="},
6070 {"type":"Text","value":"\n "},
6071 {"type":"Keyword","value":"class"},
6072 {"type":"Text","value":" "},
6073 {"type":"Keyword","value":"end"},
6074 {"type":"Text","value":"\n\n"},
6075 {"type":"Keyword","value":"type"},
6076 {"type":"Text","value":" "},
6077 {"type":"NameClass","value":"Class13"},
6078 {"type":"Operator","value":"\u003c"},
6079 {"type":"Keyword","value":"'"},
6080 {"type":"Name","value":"T"},
6081 {"type":"Text","value":" "},
6082 {"type":"Keyword","value":"when"},
6083 {"type":"Text","value":" "},
6084 {"type":"Keyword","value":"'"},
6085 {"type":"Name","value":"T"},
6086 {"type":"Text","value":" "},
6087 {"type":"Operator","value":":"},
6088 {"type":"Text","value":" "},
6089 {"type":"Name","value":"unmanaged"},
6090 {"type":"Operator","value":"\u003e"},
6091 {"type":"Text","value":" "},
6092 {"type":"Operator","value":"="},
6093 {"type":"Text","value":"\n "},
6094 {"type":"Keyword","value":"class"},
6095 {"type":"Text","value":" "},
6096 {"type":"Keyword","value":"end"},
6097 {"type":"Text","value":"\n\n"},
6098 {"type":"CommentSingle","value":"// Member constraints with two type parameters\n// Most often used with static type parameters in inline functions\n"},
6099 {"type":"Text","value":"\n"},
6100 {"type":"CommentSingle","value":"// Test that we are correctly detecting the end of the STRP syntahx when there is only one argument\n"},
6101 {"type":"Keyword","value":"let"},
6102 {"type":"Text","value":" "},
6103 {"type":"NameVariable","value":"inline"},
6104 {"type":"Text","value":" "},
6105 {"type":"Name","value":"doNothing"},
6106 {"type":"Operator","value":"(_"},
6107 {"type":"Name","value":"value1"},
6108 {"type":"Text","value":" "},
6109 {"type":"Operator","value":":"},
6110 {"type":"Text","value":" "},
6111 {"type":"Operator","value":"^"},
6112 {"type":"Name","value":"T"},
6113 {"type":"Text","value":" "},
6114 {"type":"Keyword","value":"when"},
6115 {"type":"Text","value":" "},
6116 {"type":"Operator","value":"^"},
6117 {"type":"Name","value":"T"},
6118 {"type":"Text","value":" "},
6119 {"type":"Operator","value":":"},
6120 {"type":"Text","value":" "},
6121 {"type":"Operator","value":"("},
6122 {"type":"Keyword","value":"static"},
6123 {"type":"Text","value":" "},
6124 {"type":"Keyword","value":"member"},
6125 {"type":"Text","value":" "},
6126 {"type":"Operator","value":"(+)"},
6127 {"type":"Text","value":" "},
6128 {"type":"Operator","value":":"},
6129 {"type":"Text","value":" "},
6130 {"type":"Operator","value":"^"},
6131 {"type":"Name","value":"T"},
6132 {"type":"Text","value":" "},
6133 {"type":"Operator","value":"*"},
6134 {"type":"Text","value":" "},
6135 {"type":"Operator","value":"^"},
6136 {"type":"Name","value":"T"},
6137 {"type":"Text","value":" "},
6138 {"type":"Operator","value":"-\u003e"},
6139 {"type":"Text","value":" "},
6140 {"type":"Operator","value":"^"},
6141 {"type":"Name","value":"T"},
6142 {"type":"Operator","value":"))"},
6143 {"type":"Text","value":" "},
6144 {"type":"Operator","value":"="},
6145 {"type":"Text","value":"\n "},
6146 {"type":"LiteralString","value":"\"\""},
6147 {"type":"Text","value":"\n\n"},
6148 {"type":"Keyword","value":"let"},
6149 {"type":"Text","value":" "},
6150 {"type":"NameVariable","value":"inline"},
6151 {"type":"Text","value":" "},
6152 {"type":"Name","value":"doNothing"},
6153 {"type":"Operator","value":"(_"},
6154 {"type":"Name","value":"value1"},
6155 {"type":"Text","value":" "},
6156 {"type":"Operator","value":":"},
6157 {"type":"Text","value":" "},
6158 {"type":"Operator","value":"^"},
6159 {"type":"Name","value":"Word"},
6160 {"type":"Text","value":" "},
6161 {"type":"Keyword","value":"when"},
6162 {"type":"Text","value":" "},
6163 {"type":"Operator","value":"^"},
6164 {"type":"Name","value":"Word"},
6165 {"type":"Text","value":" "},
6166 {"type":"Operator","value":":"},
6167 {"type":"Text","value":" "},
6168 {"type":"Operator","value":"("},
6169 {"type":"Keyword","value":"static"},
6170 {"type":"Text","value":" "},
6171 {"type":"Keyword","value":"member"},
6172 {"type":"Text","value":" "},
6173 {"type":"Name","value":"toJson"},
6174 {"type":"Text","value":" "},
6175 {"type":"Operator","value":":"},
6176 {"type":"Text","value":" "},
6177 {"type":"Operator","value":"^"},
6178 {"type":"Name","value":"Word"},
6179 {"type":"Text","value":" "},
6180 {"type":"Operator","value":"*"},
6181 {"type":"Text","value":" "},
6182 {"type":"Operator","value":"^"},
6183 {"type":"Name","value":"Word"},
6184 {"type":"Text","value":" "},
6185 {"type":"Operator","value":"-\u003e"},
6186 {"type":"Text","value":" "},
6187 {"type":"Operator","value":"^"},
6188 {"type":"Name","value":"Word"},
6189 {"type":"Operator","value":"))"},
6190 {"type":"Text","value":" "},
6191 {"type":"Operator","value":"="},
6192 {"type":"Text","value":"\n "},
6193 {"type":"LiteralString","value":"\"\""},
6194 {"type":"Text","value":"\n\n"},
6195 {"type":"Keyword","value":"let"},
6196 {"type":"Text","value":" "},
6197 {"type":"NameVariable","value":"inline"},
6198 {"type":"Text","value":" "},
6199 {"type":"Name","value":"add2"},
6200 {"type":"Operator","value":"("},
6201 {"type":"Name","value":"value1"},
6202 {"type":"Text","value":" "},
6203 {"type":"Operator","value":":"},
6204 {"type":"Text","value":" "},
6205 {"type":"Operator","value":"^"},
6206 {"type":"Name","value":"T"},
6207 {"type":"Operator","value":","},
6208 {"type":"Text","value":" "},
6209 {"type":"Name","value":"value2"},
6210 {"type":"Operator","value":":"},
6211 {"type":"Text","value":" "},
6212 {"type":"Operator","value":"^"},
6213 {"type":"Name","value":"T"},
6214 {"type":"Text","value":" "},
6215 {"type":"Keyword","value":"when"},
6216 {"type":"Text","value":" "},
6217 {"type":"Operator","value":"^"},
6218 {"type":"Name","value":"T"},
6219 {"type":"Text","value":" "},
6220 {"type":"Operator","value":":"},
6221 {"type":"Text","value":" "},
6222 {"type":"Operator","value":"("},
6223 {"type":"Keyword","value":"static"},
6224 {"type":"Text","value":" "},
6225 {"type":"Keyword","value":"member"},
6226 {"type":"Text","value":" "},
6227 {"type":"Operator","value":"(+)"},
6228 {"type":"Text","value":" "},
6229 {"type":"Operator","value":":"},
6230 {"type":"Text","value":" "},
6231 {"type":"Operator","value":"^"},
6232 {"type":"Name","value":"T"},
6233 {"type":"Text","value":" "},
6234 {"type":"Operator","value":"*"},
6235 {"type":"Text","value":" "},
6236 {"type":"Operator","value":"^"},
6237 {"type":"Name","value":"T"},
6238 {"type":"Text","value":" "},
6239 {"type":"Operator","value":"-\u003e"},
6240 {"type":"Text","value":" "},
6241 {"type":"Operator","value":"^"},
6242 {"type":"Name","value":"T"},
6243 {"type":"Operator","value":"))"},
6244 {"type":"Text","value":" "},
6245 {"type":"Operator","value":"="},
6246 {"type":"Text","value":"\n "},
6247 {"type":"Name","value":"value1"},
6248 {"type":"Text","value":" "},
6249 {"type":"Operator","value":"+"},
6250 {"type":"Text","value":" "},
6251 {"type":"Name","value":"value2"},
6252 {"type":"Text","value":"\n\n"},
6253 {"type":"Keyword","value":"let"},
6254 {"type":"Text","value":" "},
6255 {"type":"NameVariable","value":"inline"},
6256 {"type":"Text","value":" "},
6257 {"type":"Name","value":"add"},
6258 {"type":"Operator","value":"("},
6259 {"type":"Name","value":"value1"},
6260 {"type":"Text","value":" "},
6261 {"type":"Operator","value":":"},
6262 {"type":"Text","value":" "},
6263 {"type":"Operator","value":"^"},
6264 {"type":"Name","value":"T"},
6265 {"type":"Text","value":" "},
6266 {"type":"Keyword","value":"when"},
6267 {"type":"Text","value":" "},
6268 {"type":"Operator","value":"^"},
6269 {"type":"Name","value":"T"},
6270 {"type":"Text","value":" "},
6271 {"type":"Operator","value":":"},
6272 {"type":"Text","value":" "},
6273 {"type":"Operator","value":"("},
6274 {"type":"Keyword","value":"static"},
6275 {"type":"Text","value":" "},
6276 {"type":"Keyword","value":"member"},
6277 {"type":"Text","value":" "},
6278 {"type":"Operator","value":"(+)"},
6279 {"type":"Text","value":" "},
6280 {"type":"Operator","value":":"},
6281 {"type":"Text","value":" "},
6282 {"type":"Operator","value":"^"},
6283 {"type":"Name","value":"T"},
6284 {"type":"Text","value":" "},
6285 {"type":"Operator","value":"*"},
6286 {"type":"Text","value":" "},
6287 {"type":"Operator","value":"^"},
6288 {"type":"Name","value":"T"},
6289 {"type":"Text","value":" "},
6290 {"type":"Operator","value":"-\u003e"},
6291 {"type":"Text","value":" "},
6292 {"type":"Operator","value":"^"},
6293 {"type":"Name","value":"T"},
6294 {"type":"Operator","value":"),"},
6295 {"type":"Text","value":" "},
6296 {"type":"Name","value":"value2"},
6297 {"type":"Operator","value":":"},
6298 {"type":"Text","value":" "},
6299 {"type":"Operator","value":"^"},
6300 {"type":"Name","value":"T"},
6301 {"type":"Operator","value":")"},
6302 {"type":"Text","value":" "},
6303 {"type":"Operator","value":"="},
6304 {"type":"Text","value":"\n "},
6305 {"type":"Name","value":"value1"},
6306 {"type":"Text","value":" "},
6307 {"type":"Operator","value":"+"},
6308 {"type":"Text","value":" "},
6309 {"type":"Name","value":"value2"},
6310 {"type":"Text","value":"\n\n"},
6311 {"type":"CommentSingle","value":"// ^T and ^U must support operator +\n"},
6312 {"type":"Keyword","value":"let"},
6313 {"type":"Text","value":" "},
6314 {"type":"NameVariable","value":"inline"},
6315 {"type":"Text","value":" "},
6316 {"type":"Name","value":"heterogenousAdd"},
6317 {"type":"Operator","value":"("},
6318 {"type":"Name","value":"value1"},
6319 {"type":"Text","value":" "},
6320 {"type":"Operator","value":":"},
6321 {"type":"Text","value":" "},
6322 {"type":"Operator","value":"^"},
6323 {"type":"Name","value":"T"},
6324 {"type":"Text","value":" "},
6325 {"type":"Keyword","value":"when"},
6326 {"type":"Text","value":" "},
6327 {"type":"Operator","value":"(^"},
6328 {"type":"Name","value":"T"},
6329 {"type":"Text","value":" "},
6330 {"type":"OperatorWord","value":"or"},
6331 {"type":"Text","value":" "},
6332 {"type":"Operator","value":"^"},
6333 {"type":"Name","value":"U"},
6334 {"type":"Operator","value":")"},
6335 {"type":"Text","value":" "},
6336 {"type":"Operator","value":":"},
6337 {"type":"Text","value":" "},
6338 {"type":"Operator","value":"("},
6339 {"type":"Keyword","value":"static"},
6340 {"type":"Text","value":" "},
6341 {"type":"Keyword","value":"member"},
6342 {"type":"Text","value":" "},
6343 {"type":"Operator","value":"(+)"},
6344 {"type":"Text","value":" "},
6345 {"type":"Operator","value":":"},
6346 {"type":"Text","value":" "},
6347 {"type":"Operator","value":"^"},
6348 {"type":"Name","value":"T"},
6349 {"type":"Text","value":" "},
6350 {"type":"Operator","value":"*"},
6351 {"type":"Text","value":" "},
6352 {"type":"Operator","value":"^"},
6353 {"type":"Name","value":"U"},
6354 {"type":"Text","value":" "},
6355 {"type":"Operator","value":"-\u003e"},
6356 {"type":"Text","value":" "},
6357 {"type":"Operator","value":"^"},
6358 {"type":"Name","value":"T"},
6359 {"type":"Operator","value":"),"},
6360 {"type":"Text","value":" "},
6361 {"type":"Name","value":"value2"},
6362 {"type":"Text","value":" "},
6363 {"type":"Operator","value":":"},
6364 {"type":"Text","value":" "},
6365 {"type":"Operator","value":"^"},
6366 {"type":"Name","value":"U"},
6367 {"type":"Operator","value":")"},
6368 {"type":"Text","value":" "},
6369 {"type":"Operator","value":"="},
6370 {"type":"Text","value":"\n "},
6371 {"type":"Name","value":"value1"},
6372 {"type":"Text","value":" "},
6373 {"type":"Operator","value":"+"},
6374 {"type":"Text","value":" "},
6375 {"type":"Name","value":"value2"},
6376 {"type":"Text","value":"\n\n"},
6377 {"type":"Keyword","value":"let"},
6378 {"type":"Text","value":" "},
6379 {"type":"NameVariable","value":"inline"},
6380 {"type":"Text","value":" "},
6381 {"type":"Name","value":"heterogenousAdd"},
6382 {"type":"Operator","value":"("},
6383 {"type":"Name","value":"value1"},
6384 {"type":"Text","value":" "},
6385 {"type":"Operator","value":":"},
6386 {"type":"Text","value":" "},
6387 {"type":"Operator","value":"^"},
6388 {"type":"Name","value":"Word"},
6389 {"type":"Text","value":" "},
6390 {"type":"Keyword","value":"when"},
6391 {"type":"Text","value":" "},
6392 {"type":"Operator","value":"(^"},
6393 {"type":"Name","value":"Word"},
6394 {"type":"Text","value":" "},
6395 {"type":"OperatorWord","value":"or"},
6396 {"type":"Text","value":" "},
6397 {"type":"Operator","value":"^"},
6398 {"type":"Name","value":"U"},
6399 {"type":"Operator","value":")"},
6400 {"type":"Text","value":" "},
6401 {"type":"Operator","value":":"},
6402 {"type":"Text","value":" "},
6403 {"type":"Operator","value":"("},
6404 {"type":"Keyword","value":"static"},
6405 {"type":"Text","value":" "},
6406 {"type":"Keyword","value":"member"},
6407 {"type":"Text","value":" "},
6408 {"type":"Operator","value":"(+)"},
6409 {"type":"Text","value":" "},
6410 {"type":"Operator","value":":"},
6411 {"type":"Text","value":" "},
6412 {"type":"Operator","value":"^"},
6413 {"type":"Name","value":"Word"},
6414 {"type":"Text","value":" "},
6415 {"type":"Operator","value":"*"},
6416 {"type":"Text","value":" "},
6417 {"type":"Operator","value":"^"},
6418 {"type":"Name","value":"U"},
6419 {"type":"Text","value":" "},
6420 {"type":"Operator","value":"-\u003e"},
6421 {"type":"Text","value":" "},
6422 {"type":"Operator","value":"^"},
6423 {"type":"Name","value":"Word"},
6424 {"type":"Operator","value":"),"},
6425 {"type":"Text","value":" "},
6426 {"type":"Name","value":"value2"},
6427 {"type":"Text","value":" "},
6428 {"type":"Operator","value":":"},
6429 {"type":"Text","value":" "},
6430 {"type":"Operator","value":"^"},
6431 {"type":"Name","value":"U"},
6432 {"type":"Operator","value":")"},
6433 {"type":"Text","value":" "},
6434 {"type":"Operator","value":"="},
6435 {"type":"Text","value":"\n "},
6436 {"type":"Name","value":"value1"},
6437 {"type":"Text","value":" "},
6438 {"type":"Operator","value":"+"},
6439 {"type":"Text","value":" "},
6440 {"type":"Name","value":"value2"},
6441 {"type":"Text","value":"\n\n"},
6442 {"type":"CommentSingle","value":"// If there are multiple constraints, use the and keyword to separate them.\n"},
6443 {"type":"Keyword","value":"type"},
6444 {"type":"Text","value":" "},
6445 {"type":"NameClass","value":"Class14"},
6446 {"type":"Operator","value":"\u003c"},
6447 {"type":"Keyword","value":"'"},
6448 {"type":"Name","value":"T"},
6449 {"type":"Operator","value":","},
6450 {"type":"Keyword","value":"'"},
6451 {"type":"Name","value":"U"},
6452 {"type":"Text","value":" "},
6453 {"type":"Keyword","value":"when"},
6454 {"type":"Text","value":" "},
6455 {"type":"Keyword","value":"'"},
6456 {"type":"Name","value":"T"},
6457 {"type":"Text","value":" "},
6458 {"type":"Operator","value":":"},
6459 {"type":"Text","value":" "},
6460 {"type":"Name","value":"equality"},
6461 {"type":"Text","value":" "},
6462 {"type":"OperatorWord","value":"and"},
6463 {"type":"Text","value":" "},
6464 {"type":"Keyword","value":"'"},
6465 {"type":"Name","value":"U"},
6466 {"type":"Text","value":" "},
6467 {"type":"Operator","value":":"},
6468 {"type":"Text","value":" "},
6469 {"type":"Name","value":"equality"},
6470 {"type":"Operator","value":"\u003e"},
6471 {"type":"Text","value":" "},
6472 {"type":"Operator","value":"="},
6473 {"type":"Text","value":"\n "},
6474 {"type":"Keyword","value":"class"},
6475 {"type":"Text","value":" "},
6476 {"type":"Keyword","value":"end"},
6477 {"type":"Text","value":"\n\n"},
6478 {"type":"Keyword","value":"type"},
6479 {"type":"Text","value":" "},
6480 {"type":"NameClass","value":"Class15"},
6481 {"type":"Operator","value":"\u003c"},
6482 {"type":"Keyword","value":"'"},
6483 {"type":"Name","value":"``generic type with space``"},
6484 {"type":"Text","value":" "},
6485 {"type":"Keyword","value":"when"},
6486 {"type":"Text","value":" "},
6487 {"type":"Keyword","value":"'"},
6488 {"type":"Name","value":"``generic type with space``"},
6489 {"type":"Text","value":" "},
6490 {"type":"Operator","value":":\u003e"},
6491 {"type":"Text","value":" "},
6492 {"type":"NameNamespace","value":"System"},
6493 {"type":"Punctuation","value":"."},
6494 {"type":"Name","value":"Exception"},
6495 {"type":"Operator","value":"\u003e"},
6496 {"type":"Text","value":" "},
6497 {"type":"Operator","value":"="},
6498 {"type":"Text","value":"\n "},
6499 {"type":"Keyword","value":"class"},
6500 {"type":"Text","value":" "},
6501 {"type":"Keyword","value":"end"},
6502 {"type":"Text","value":"\n\n"},
6503 {"type":"CommentSingle","value":"// Type constrainst coloration also works in the constructor\n"},
6504 {"type":"Keyword","value":"type"},
6505 {"type":"Text","value":" "},
6506 {"type":"NameClass","value":"Class16"},
6507 {"type":"Operator","value":"("},
6508 {"type":"Name","value":"value1"},
6509 {"type":"Text","value":" "},
6510 {"type":"Operator","value":":"},
6511 {"type":"Text","value":" "},
6512 {"type":"Operator","value":"^"},
6513 {"type":"Name","value":"T"},
6514 {"type":"Text","value":" "},
6515 {"type":"Keyword","value":"when"},
6516 {"type":"Text","value":" "},
6517 {"type":"Operator","value":"(^"},
6518 {"type":"Name","value":"T"},
6519 {"type":"Text","value":" "},
6520 {"type":"OperatorWord","value":"or"},
6521 {"type":"Text","value":" "},
6522 {"type":"Operator","value":"^"},
6523 {"type":"Name","value":"U"},
6524 {"type":"Operator","value":")"},
6525 {"type":"Text","value":" "},
6526 {"type":"Operator","value":":"},
6527 {"type":"Text","value":" "},
6528 {"type":"Operator","value":"("},
6529 {"type":"Keyword","value":"static"},
6530 {"type":"Text","value":" "},
6531 {"type":"Keyword","value":"member"},
6532 {"type":"Text","value":" "},
6533 {"type":"Operator","value":"(+)"},
6534 {"type":"Text","value":" "},
6535 {"type":"Operator","value":":"},
6536 {"type":"Text","value":" "},
6537 {"type":"Operator","value":"^"},
6538 {"type":"Name","value":"T"},
6539 {"type":"Text","value":" "},
6540 {"type":"Operator","value":"*"},
6541 {"type":"Text","value":" "},
6542 {"type":"Operator","value":"^"},
6543 {"type":"Name","value":"U"},
6544 {"type":"Text","value":" "},
6545 {"type":"Operator","value":"-\u003e"},
6546 {"type":"Text","value":" "},
6547 {"type":"Operator","value":"^"},
6548 {"type":"Name","value":"T"},
6549 {"type":"Operator","value":"),"},
6550 {"type":"Text","value":" "},
6551 {"type":"Name","value":"value2"},
6552 {"type":"Text","value":" "},
6553 {"type":"Operator","value":":"},
6554 {"type":"Text","value":" "},
6555 {"type":"Operator","value":"^"},
6556 {"type":"Name","value":"U"},
6557 {"type":"Operator","value":")"},
6558 {"type":"Text","value":" "},
6559 {"type":"Operator","value":"="},
6560 {"type":"Text","value":"\n "},
6561 {"type":"Keyword","value":"class"},
6562 {"type":"Text","value":" "},
6563 {"type":"Keyword","value":"end"},
6564 {"type":"Text","value":"\n\n"},
6565 {"type":"CommentSingle","value":"// Make sure that `:\u003e` isn't closing the current generic tag\n"},
6566 {"type":"Keyword","value":"let"},
6567 {"type":"Text","value":" "},
6568 {"type":"NameVariable","value":"inline"},
6569 {"type":"Text","value":" "},
6570 {"type":"Name","value":"create"},
6571 {"type":"Operator","value":"\u003c"},
6572 {"type":"Keyword","value":"'"},
6573 {"type":"Name","value":"a"},
6574 {"type":"Operator","value":","},
6575 {"type":"Text","value":" "},
6576 {"type":"Keyword","value":"'"},
6577 {"type":"Name","value":"b"},
6578 {"type":"Text","value":" "},
6579 {"type":"Keyword","value":"when"},
6580 {"type":"Text","value":" "},
6581 {"type":"Keyword","value":"'"},
6582 {"type":"Name","value":"a"},
6583 {"type":"Text","value":" "},
6584 {"type":"Operator","value":":\u003e"},
6585 {"type":"Text","value":" "},
6586 {"type":"KeywordType","value":"obj"},
6587 {"type":"Text","value":" "},
6588 {"type":"OperatorWord","value":"and"},
6589 {"type":"Text","value":" "},
6590 {"type":"Keyword","value":"'"},
6591 {"type":"Name","value":"a"},
6592 {"type":"Operator","value":":"},
6593 {"type":"Text","value":" "},
6594 {"type":"Operator","value":"("},
6595 {"type":"Keyword","value":"new"},
6596 {"type":"Operator","value":":"},
6597 {"type":"Text","value":" "},
6598 {"type":"KeywordType","value":"unit"},
6599 {"type":"Text","value":" "},
6600 {"type":"Operator","value":"-\u003e"},
6601 {"type":"Text","value":" "},
6602 {"type":"Keyword","value":"'"},
6603 {"type":"Name","value":"a"},
6604 {"type":"Operator","value":")\u003e"},
6605 {"type":"Text","value":" "},
6606 {"type":"NameBuiltinPseudo","value":"()"},
6607 {"type":"Text","value":" "},
6608 {"type":"Operator","value":":"},
6609 {"type":"Text","value":" "},
6610 {"type":"Keyword","value":"'"},
6611 {"type":"Name","value":"b"},
6612 {"type":"Text","value":" "},
6613 {"type":"Operator","value":"="},
6614 {"type":"Text","value":" "},
6615 {"type":"Name","value":"failwith"},
6616 {"type":"Text","value":" "},
6617 {"type":"LiteralString","value":"\"\""},
6618 {"type":"Text","value":"\n\n"},
6619 {"type":"CommentSingle","value":"// Explicit Fields\n// Adapted from: https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/members/explicit-fields-the-val-keyword\n// And : https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/members/let-bindings-in-classes\n"},
6620 {"type":"Text","value":"\n"},
6621 {"type":"Keyword","value":"type"},
6622 {"type":"Text","value":" "},
6623 {"type":"NameClass","value":"MyType"},
6624 {"type":"Operator","value":"\u003c"},
6625 {"type":"Keyword","value":"'"},
6626 {"type":"Name","value":"``Generic type with spaces``"},
6627 {"type":"Operator","value":","},
6628 {"type":"Text","value":" "},
6629 {"type":"Keyword","value":"'"},
6630 {"type":"Name","value":"T"},
6631 {"type":"Operator","value":"\u003e"},
6632 {"type":"NameBuiltinPseudo","value":"()"},
6633 {"type":"Text","value":" "},
6634 {"type":"Operator","value":"="},
6635 {"type":"Text","value":"\n "},
6636 {"type":"Keyword","value":"let"},
6637 {"type":"Text","value":" "},
6638 {"type":"NameVariable","value":"mutable"},
6639 {"type":"Text","value":" "},
6640 {"type":"Name","value":"myInt1"},
6641 {"type":"Text","value":" "},
6642 {"type":"Operator","value":"="},
6643 {"type":"Text","value":" "},
6644 {"type":"Name","value":"10"},
6645 {"type":"Text","value":"\n "},
6646 {"type":"Keyword","value":"static"},
6647 {"type":"Text","value":" "},
6648 {"type":"Keyword","value":"let"},
6649 {"type":"Text","value":" "},
6650 {"type":"NameVariable","value":"mutable"},
6651 {"type":"Text","value":" "},
6652 {"type":"Name","value":"myInt3"},
6653 {"type":"Text","value":" "},
6654 {"type":"Operator","value":"="},
6655 {"type":"Text","value":" "},
6656 {"type":"Name","value":"3"},
6657 {"type":"Text","value":"\n "},
6658 {"type":"Operator","value":"[\u003c"},
6659 {"type":"Name","value":"DefaultValue"},
6660 {"type":"Operator","value":"\u003e]"},
6661 {"type":"Text","value":" "},
6662 {"type":"Keyword","value":"static"},
6663 {"type":"Text","value":" "},
6664 {"type":"Keyword","value":"val"},
6665 {"type":"Text","value":" "},
6666 {"type":"Keyword","value":"mutable"},
6667 {"type":"Text","value":" "},
6668 {"type":"Keyword","value":"private"},
6669 {"type":"Text","value":" "},
6670 {"type":"Name","value":"myInt2"},
6671 {"type":"Text","value":" "},
6672 {"type":"Operator","value":":"},
6673 {"type":"Text","value":" "},
6674 {"type":"Name","value":"int"},
6675 {"type":"Text","value":"\n "},
6676 {"type":"Operator","value":"[\u003c"},
6677 {"type":"Name","value":"DefaultValue"},
6678 {"type":"Operator","value":"\u003e]"},
6679 {"type":"Text","value":" "},
6680 {"type":"Keyword","value":"val"},
6681 {"type":"Text","value":" "},
6682 {"type":"Keyword","value":"mutable"},
6683 {"type":"Text","value":" "},
6684 {"type":"Name","value":"myString"},
6685 {"type":"Text","value":" "},
6686 {"type":"Operator","value":":"},
6687 {"type":"Text","value":" "},
6688 {"type":"Keyword","value":"'"},
6689 {"type":"Name","value":"``Generic type with spaces``"},
6690 {"type":"Text","value":"\n "},
6691 {"type":"Operator","value":"[\u003c"},
6692 {"type":"Name","value":"DefaultValue"},
6693 {"type":"Operator","value":"\u003e]"},
6694 {"type":"Text","value":" "},
6695 {"type":"Keyword","value":"val"},
6696 {"type":"Text","value":" "},
6697 {"type":"Keyword","value":"mutable"},
6698 {"type":"Text","value":" "},
6699 {"type":"Name","value":"myString2"},
6700 {"type":"Text","value":" "},
6701 {"type":"Operator","value":":"},
6702 {"type":"Text","value":" "},
6703 {"type":"Keyword","value":"'"},
6704 {"type":"Name","value":"T"},
6705 {"type":"Text","value":"\n\n"},
6706 {"type":"Keyword","value":"type"},
6707 {"type":"Text","value":" "},
6708 {"type":"NameClass","value":"MyClass"},
6709 {"type":"Text","value":" "},
6710 {"type":"Operator","value":"="},
6711 {"type":"Text","value":"\n "},
6712 {"type":"Keyword","value":"val"},
6713 {"type":"Text","value":" "},
6714 {"type":"Name","value":"a"},
6715 {"type":"Text","value":" "},
6716 {"type":"Operator","value":":"},
6717 {"type":"Text","value":" "},
6718 {"type":"Name","value":"int"},
6719 {"type":"Text","value":"\n "},
6720 {"type":"Keyword","value":"val"},
6721 {"type":"Text","value":" "},
6722 {"type":"Name","value":"b"},
6723 {"type":"Text","value":" "},
6724 {"type":"Operator","value":":"},
6725 {"type":"Text","value":" "},
6726 {"type":"Name","value":"int"},
6727 {"type":"Text","value":"\n "},
6728 {"type":"CommentSingle","value":"// The following version of the constructor is an error\n"},
6729 {"type":"Text","value":" "},
6730 {"type":"CommentSingle","value":"// because b is not initialized.\n"},
6731 {"type":"Text","value":" "},
6732 {"type":"CommentSingle","value":"// new (a0, b0) = { a = a0; }\n"},
6733 {"type":"Text","value":" "},
6734 {"type":"CommentSingle","value":"// The following version is acceptable because all fields are initialized.\n"},
6735 {"type":"Text","value":" "},
6736 {"type":"Keyword","value":"new"},
6737 {"type":"Operator","value":"("},
6738 {"type":"Name","value":"a0"},
6739 {"type":"Operator","value":","},
6740 {"type":"Text","value":" "},
6741 {"type":"Name","value":"b0"},
6742 {"type":"Operator","value":")"},
6743 {"type":"Text","value":" "},
6744 {"type":"Operator","value":"="},
6745 {"type":"Text","value":" "},
6746 {"type":"Operator","value":"{"},
6747 {"type":"Text","value":" "},
6748 {"type":"Name","value":"a"},
6749 {"type":"Text","value":" "},
6750 {"type":"Operator","value":"="},
6751 {"type":"Text","value":" "},
6752 {"type":"Name","value":"a0"},
6753 {"type":"Operator","value":";"},
6754 {"type":"Text","value":" "},
6755 {"type":"Name","value":"b"},
6756 {"type":"Text","value":" "},
6757 {"type":"Operator","value":"="},
6758 {"type":"Text","value":" "},
6759 {"type":"Name","value":"b0"},
6760 {"type":"Operator","value":";"},
6761 {"type":"Text","value":" "},
6762 {"type":"Operator","value":"}"},
6763 {"type":"Text","value":"\n\n"},
6764 {"type":"CommentSingle","value":"// Check that SRTP do not break standard syntax between `(` \u0026 `)`\n"},
6765 {"type":"Keyword","value":"let"},
6766 {"type":"Text","value":" "},
6767 {"type":"NameVariable","value":"incorrect"},
6768 {"type":"Text","value":" "},
6769 {"type":"Operator","value":"="},
6770 {"type":"Text","value":"\n "},
6771 {"type":"Operator","value":"("},
6772 {"type":"Keyword","value":"fun"},
6773 {"type":"Text","value":" "},
6774 {"type":"Name","value":"loadedModel"},
6775 {"type":"Text","value":" "},
6776 {"type":"Operator","value":"-\u003e"},
6777 {"type":"Text","value":"\n "},
6778 {"type":"Keyword","value":"let"},
6779 {"type":"Text","value":" "},
6780 {"type":"NameVariable","value":"temp"},
6781 {"type":"Text","value":" "},
6782 {"type":"Operator","value":"="},
6783 {"type":"Text","value":" "},
6784 {"type":"Name","value":"async"},
6785 {"type":"Text","value":" "},
6786 {"type":"Operator","value":"{"},
6787 {"type":"Text","value":"\n "},
6788 {"type":"Keyword","value":"return"},
6789 {"type":"Text","value":" "},
6790 {"type":"Name","value":"0"},
6791 {"type":"Text","value":"\n "},
6792 {"type":"Operator","value":"}"},
6793 {"type":"Text","value":"\n "},
6794 {"type":"Keyword","value":"let"},
6795 {"type":"Text","value":" "},
6796 {"type":"NameVariable","value":"loadedModel"},
6797 {"type":"Text","value":" "},
6798 {"type":"Operator","value":"="},
6799 {"type":"Text","value":" "},
6800 {"type":"Operator","value":"{"},
6801 {"type":"Text","value":" "},
6802 {"type":"Name","value":"loadedModel"},
6803 {"type":"Text","value":" "},
6804 {"type":"Keyword","value":"with"},
6805 {"type":"Text","value":" "},
6806 {"type":"Name","value":"FormState"},
6807 {"type":"Text","value":" "},
6808 {"type":"Operator","value":"="},
6809 {"type":"Text","value":" "},
6810 {"type":"NameNamespace","value":"Form"},
6811 {"type":"Punctuation","value":"."},
6812 {"type":"Name","value":"setWaiting"},
6813 {"type":"Text","value":" "},
6814 {"type":"Keyword","value":"false"},
6815 {"type":"Text","value":" "},
6816 {"type":"Name","value":"loadedModel"},
6817 {"type":"Operator","value":"."},
6818 {"type":"Name","value":"FormState"},
6819 {"type":"Text","value":" "},
6820 {"type":"Operator","value":"}"},
6821 {"type":"Text","value":"\n "},
6822 {"type":"NameBuiltinPseudo","value":"()"},
6823 {"type":"Operator","value":")"},
6824 {"type":"Text","value":"\n"}
6825]
View as plain text