crisp-parser 1.6.0

Crisp parser — tokens to AST (spec Appendix A)
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
---
source: crates/crisp-parser/tests/parse_hello.rs
expression: file
---
SourceFile {
    items: [
        ShapeDef(
            ShapeDef {
                name: Ident {
                    name: "Named",
                    span: Span {
                        start: 80,
                        end: 85,
                    },
                },
                generics: [],
                fields: [
                    Data {
                        name: Ident {
                            name: "name",
                            span: Span {
                                start: 94,
                                end: 98,
                            },
                        },
                        ty: Type {
                            kind: Named(
                                Ident {
                                    name: "str",
                                    span: Span {
                                        start: 100,
                                        end: 103,
                                    },
                                },
                            ),
                            span: Span {
                                start: 100,
                                end: 103,
                            },
                        },
                        span: Span {
                            start: 94,
                            end: 103,
                        },
                    },
                ],
                span: Span {
                    start: 74,
                    end: 105,
                },
            },
        ),
        TypeDef(
            TypeDef {
                is_pub: false,
                name: Ident {
                    name: "Guest",
                    span: Span {
                        start: 112,
                        end: 117,
                    },
                },
                generics: [],
                body: Struct(
                    [
                        FieldDef {
                            name: Ident {
                                name: "name",
                                span: Span {
                                    start: 126,
                                    end: 130,
                                },
                            },
                            ty: Type {
                                kind: Named(
                                    Ident {
                                        name: "str",
                                        span: Span {
                                            start: 132,
                                            end: 135,
                                        },
                                    },
                                ),
                                span: Span {
                                    start: 132,
                                    end: 135,
                                },
                            },
                            default: Some(
                                Expr {
                                    kind: Str(
                                        StringParts(
                                            [
                                                Lit(
                                                    "world",
                                                ),
                                            ],
                                        ),
                                    ),
                                    span: Span {
                                        start: 138,
                                        end: 145,
                                    },
                                },
                            ),
                            span: Span {
                                start: 126,
                                end: 145,
                            },
                        },
                    ],
                ),
                span: Span {
                    start: 107,
                    end: 147,
                },
            },
        ),
        Function(
            FunctionDef {
                is_pub: false,
                name: Ident {
                    name: "id",
                    span: Span {
                        start: 149,
                        end: 151,
                    },
                },
                generics: [],
                params: [
                    Param {
                        lifetime: None,
                        ownership: None,
                        name: Ident {
                            name: "x",
                            span: Span {
                                start: 152,
                                end: 153,
                            },
                        },
                        ty: Some(
                            Type {
                                kind: Named(
                                    Ident {
                                        name: "T",
                                        span: Span {
                                            start: 155,
                                            end: 156,
                                        },
                                    },
                                ),
                                span: Span {
                                    start: 155,
                                    end: 156,
                                },
                            },
                        ),
                        span: Span {
                            start: 152,
                            end: 156,
                        },
                    },
                ],
                ret_type: None,
                error_type: None,
                body: Expr {
                    kind: Ident(
                        Ident {
                            name: "x",
                            span: Span {
                                start: 160,
                                end: 161,
                            },
                        },
                    ),
                    span: Span {
                        start: 160,
                        end: 161,
                    },
                },
                span: Span {
                    start: 149,
                    end: 161,
                },
            },
        ),
        Function(
            FunctionDef {
                is_pub: false,
                name: Ident {
                    name: "greet",
                    span: Span {
                        start: 163,
                        end: 168,
                    },
                },
                generics: [],
                params: [
                    Param {
                        lifetime: None,
                        ownership: None,
                        name: Ident {
                            name: "who",
                            span: Span {
                                start: 169,
                                end: 172,
                            },
                        },
                        ty: Some(
                            Type {
                                kind: Named(
                                    Ident {
                                        name: "Named",
                                        span: Span {
                                            start: 174,
                                            end: 179,
                                        },
                                    },
                                ),
                                span: Span {
                                    start: 174,
                                    end: 179,
                                },
                            },
                        ),
                        span: Span {
                            start: 169,
                            end: 179,
                        },
                    },
                ],
                ret_type: None,
                error_type: None,
                body: Expr {
                    kind: Str(
                        StringParts(
                            [
                                Lit(
                                    "hello ",
                                ),
                                Expr(
                                    Expr {
                                        kind: Field {
                                            base: Expr {
                                                kind: Ident(
                                                    Ident {
                                                        name: "who",
                                                        span: Span {
                                                            start: 0,
                                                            end: 3,
                                                        },
                                                    },
                                                ),
                                                span: Span {
                                                    start: 0,
                                                    end: 3,
                                                },
                                            },
                                            field: Ident {
                                                name: "name",
                                                span: Span {
                                                    start: 4,
                                                    end: 8,
                                                },
                                            },
                                        },
                                        span: Span {
                                            start: 0,
                                            end: 8,
                                        },
                                    },
                                ),
                            ],
                        ),
                    ),
                    span: Span {
                        start: 183,
                        end: 201,
                    },
                },
                span: Span {
                    start: 163,
                    end: 201,
                },
            },
        ),
        Test(
            TestDef {
                name: "greet guest",
                body: Block {
                    stmts: [
                        Bind {
                            pat: Pat {
                                kind: Ident(
                                    Ident {
                                        name: "g",
                                        span: Span {
                                            start: 230,
                                            end: 231,
                                        },
                                    },
                                ),
                                span: Span {
                                    start: 230,
                                    end: 231,
                                },
                            },
                            mutable: false,
                            value: Expr {
                                kind: StructLit {
                                    name: Ident {
                                        name: "Guest",
                                        span: Span {
                                            start: 235,
                                            end: 240,
                                        },
                                    },
                                    fields: [
                                        FieldInit {
                                            name: Ident {
                                                name: "name",
                                                span: Span {
                                                    start: 243,
                                                    end: 247,
                                                },
                                            },
                                            value: Expr {
                                                kind: Str(
                                                    StringParts(
                                                        [
                                                            Lit(
                                                                "world",
                                                            ),
                                                        ],
                                                    ),
                                                ),
                                                span: Span {
                                                    start: 249,
                                                    end: 256,
                                                },
                                            },
                                            span: Span {
                                                start: 243,
                                                end: 256,
                                            },
                                        },
                                    ],
                                },
                                span: Span {
                                    start: 235,
                                    end: 258,
                                },
                            },
                        },
                    ],
                    tail: Some(
                        Expr {
                            kind: Call {
                                func: Expr {
                                    kind: Ident(
                                        Ident {
                                            name: "assert_eq",
                                            span: Span {
                                                start: 263,
                                                end: 272,
                                            },
                                        },
                                    ),
                                    span: Span {
                                        start: 263,
                                        end: 272,
                                    },
                                },
                                args: [
                                    Expr {
                                        kind: Call {
                                            func: Expr {
                                                kind: Ident(
                                                    Ident {
                                                        name: "id",
                                                        span: Span {
                                                            start: 273,
                                                            end: 275,
                                                        },
                                                    },
                                                ),
                                                span: Span {
                                                    start: 273,
                                                    end: 275,
                                                },
                                            },
                                            args: [
                                                Expr {
                                                    kind: Call {
                                                        func: Expr {
                                                            kind: Ident(
                                                                Ident {
                                                                    name: "greet",
                                                                    span: Span {
                                                                        start: 276,
                                                                        end: 281,
                                                                    },
                                                                },
                                                            ),
                                                            span: Span {
                                                                start: 276,
                                                                end: 281,
                                                            },
                                                        },
                                                        args: [
                                                            Expr {
                                                                kind: Ident(
                                                                    Ident {
                                                                        name: "g",
                                                                        span: Span {
                                                                            start: 282,
                                                                            end: 283,
                                                                        },
                                                                    },
                                                                ),
                                                                span: Span {
                                                                    start: 282,
                                                                    end: 283,
                                                                },
                                                            },
                                                        ],
                                                    },
                                                    span: Span {
                                                        start: 276,
                                                        end: 284,
                                                    },
                                                },
                                            ],
                                        },
                                        span: Span {
                                            start: 273,
                                            end: 285,
                                        },
                                    },
                                    Expr {
                                        kind: Str(
                                            StringParts(
                                                [
                                                    Lit(
                                                        "hello world",
                                                    ),
                                                ],
                                            ),
                                        ),
                                        span: Span {
                                            start: 287,
                                            end: 300,
                                        },
                                    },
                                ],
                            },
                            span: Span {
                                start: 263,
                                end: 301,
                            },
                        },
                    ),
                    span: Span {
                        start: 224,
                        end: 303,
                    },
                },
                span: Span {
                    start: 203,
                    end: 303,
                },
            },
        ),
        Function(
            FunctionDef {
                is_pub: true,
                name: Ident {
                    name: "main",
                    span: Span {
                        start: 309,
                        end: 313,
                    },
                },
                generics: [],
                params: [],
                ret_type: None,
                error_type: None,
                body: Expr {
                    kind: Block(
                        Block {
                            stmts: [
                                Bind {
                                    pat: Pat {
                                        kind: Ident(
                                            Ident {
                                                name: "world",
                                                span: Span {
                                                    start: 324,
                                                    end: 329,
                                                },
                                            },
                                        ),
                                        span: Span {
                                            start: 324,
                                            end: 329,
                                        },
                                    },
                                    mutable: false,
                                    value: Expr {
                                        kind: StructLit {
                                            name: Ident {
                                                name: "Guest",
                                                span: Span {
                                                    start: 333,
                                                    end: 338,
                                                },
                                            },
                                            fields: [],
                                        },
                                        span: Span {
                                            start: 333,
                                            end: 341,
                                        },
                                    },
                                },
                            ],
                            tail: Some(
                                Expr {
                                    kind: Call {
                                        func: Expr {
                                            kind: Ident(
                                                Ident {
                                                    name: "print",
                                                    span: Span {
                                                        start: 346,
                                                        end: 351,
                                                    },
                                                },
                                            ),
                                            span: Span {
                                                start: 346,
                                                end: 351,
                                            },
                                        },
                                        args: [
                                            Expr {
                                                kind: Call {
                                                    func: Expr {
                                                        kind: Ident(
                                                            Ident {
                                                                name: "id",
                                                                span: Span {
                                                                    start: 352,
                                                                    end: 354,
                                                                },
                                                            },
                                                        ),
                                                        span: Span {
                                                            start: 352,
                                                            end: 354,
                                                        },
                                                    },
                                                    args: [
                                                        Expr {
                                                            kind: Call {
                                                                func: Expr {
                                                                    kind: Ident(
                                                                        Ident {
                                                                            name: "greet",
                                                                            span: Span {
                                                                                start: 355,
                                                                                end: 360,
                                                                            },
                                                                        },
                                                                    ),
                                                                    span: Span {
                                                                        start: 355,
                                                                        end: 360,
                                                                    },
                                                                },
                                                                args: [
                                                                    Expr {
                                                                        kind: Ident(
                                                                            Ident {
                                                                                name: "world",
                                                                                span: Span {
                                                                                    start: 361,
                                                                                    end: 366,
                                                                                },
                                                                            },
                                                                        ),
                                                                        span: Span {
                                                                            start: 361,
                                                                            end: 366,
                                                                        },
                                                                    },
                                                                ],
                                                            },
                                                            span: Span {
                                                                start: 355,
                                                                end: 367,
                                                            },
                                                        },
                                                    ],
                                                },
                                                span: Span {
                                                    start: 352,
                                                    end: 368,
                                                },
                                            },
                                        ],
                                    },
                                    span: Span {
                                        start: 346,
                                        end: 369,
                                    },
                                },
                            ),
                            span: Span {
                                start: 318,
                                end: 371,
                            },
                        },
                    ),
                    span: Span {
                        start: 318,
                        end: 371,
                    },
                },
                span: Span {
                    start: 309,
                    end: 371,
                },
            },
        ),
    ],
    span: Span {
        start: 74,
        end: 371,
    },
}