@@ -290,7 +290,7 @@ transcriber : '(' transcriber * ')' | '[' transcriber * ']'
290
290
291
291
# Items and attributes
292
292
293
- ** FIXME:** grammar?
293
+ ** FIXME:** grammar?
294
294
295
295
## Items
296
296
@@ -301,7 +301,7 @@ item : mod_item | fn_item | type_item | struct_item | enum_item
301
301
302
302
### Type Parameters
303
303
304
- ** FIXME:** grammar?
304
+ ** FIXME:** grammar?
305
305
306
306
### Modules
307
307
@@ -338,35 +338,35 @@ path_item : ident | "mod" ;
338
338
339
339
### Functions
340
340
341
- ** FIXME:** grammar?
341
+ ** FIXME:** grammar?
342
342
343
343
#### Generic functions
344
344
345
- ** FIXME:** grammar?
345
+ ** FIXME:** grammar?
346
346
347
347
#### Unsafety
348
348
349
- ** FIXME:** grammar?
349
+ ** FIXME:** grammar?
350
350
351
351
##### Unsafe functions
352
352
353
- ** FIXME:** grammar?
353
+ ** FIXME:** grammar?
354
354
355
355
##### Unsafe blocks
356
356
357
- ** FIXME:** grammar?
357
+ ** FIXME:** grammar?
358
358
359
359
#### Diverging functions
360
360
361
- ** FIXME:** grammar?
361
+ ** FIXME:** grammar?
362
362
363
363
### Type definitions
364
364
365
- ** FIXME:** grammar?
365
+ ** FIXME:** grammar?
366
366
367
367
### Structures
368
368
369
- ** FIXME:** grammar?
369
+ ** FIXME:** grammar?
370
370
371
371
### Constant items
372
372
@@ -382,15 +382,15 @@ static_item : "static" ident ':' type '=' expr ';' ;
382
382
383
383
#### Mutable statics
384
384
385
- ** FIXME:** grammar?
385
+ ** FIXME:** grammar?
386
386
387
387
### Traits
388
388
389
- ** FIXME:** grammar?
389
+ ** FIXME:** grammar?
390
390
391
391
### Implementations
392
392
393
- ** FIXME:** grammar?
393
+ ** FIXME:** grammar?
394
394
395
395
### External blocks
396
396
@@ -401,11 +401,11 @@ extern_block : [ foreign_fn ] * ;
401
401
402
402
## Visibility and Privacy
403
403
404
- ** FIXME:** grammar?
404
+ ** FIXME:** grammar?
405
405
406
406
### Re-exporting and Visibility
407
407
408
- ** FIXME:** grammar?
408
+ ** FIXME:** grammar?
409
409
410
410
## Attributes
411
411
@@ -420,19 +420,19 @@ meta_seq : meta_item [ ',' meta_seq ] ? ;
420
420
421
421
## Statements
422
422
423
- ** FIXME:** grammar?
423
+ ** FIXME:** grammar?
424
424
425
425
### Declaration statements
426
426
427
- ** FIXME:** grammar?
427
+ ** FIXME:** grammar?
428
428
429
429
A _ declaration statement_ is one that introduces one or more * names* into the
430
430
enclosing statement block. The declared names may denote new slots or new
431
431
items.
432
432
433
433
#### Item declarations
434
434
435
- ** FIXME:** grammar?
435
+ ** FIXME:** grammar?
436
436
437
437
An _ item declaration statement_ has a syntactic form identical to an
438
438
[ item] ( #items ) declaration within a module. Declaring an item &mdash ; a
@@ -450,35 +450,35 @@ init : [ '=' ] expr ;
450
450
451
451
### Expression statements
452
452
453
- ** FIXME:** grammar?
453
+ ** FIXME:** grammar?
454
454
455
455
## Expressions
456
456
457
- ** FIXME:** grammar?
457
+ ** FIXME:** grammar?
458
458
459
459
#### Lvalues, rvalues and temporaries
460
460
461
- ** FIXME:** grammar?
461
+ ** FIXME:** grammar?
462
462
463
463
#### Moved and copied types
464
464
465
- ** FIXME:** Do we want to capture this in the grammar as different productions?
465
+ ** FIXME:** Do we want to capture this in the grammar as different productions?
466
466
467
467
### Literal expressions
468
468
469
- ** FIXME:** grammar?
469
+ ** FIXME:** grammar?
470
470
471
471
### Path expressions
472
472
473
- ** FIXME:** grammar?
473
+ ** FIXME:** grammar?
474
474
475
475
### Tuple expressions
476
476
477
- ** FIXME:** grammar?
477
+ ** FIXME:** grammar?
478
478
479
479
### Unit expressions
480
480
481
- ** FIXME:** grammar?
481
+ ** FIXME:** grammar?
482
482
483
483
### Structure expressions
484
484
@@ -527,7 +527,7 @@ idx_expr : expr '[' expr ']' ;
527
527
528
528
### Unary operator expressions
529
529
530
- ** FIXME:** grammar?
530
+ ** FIXME:** grammar?
531
531
532
532
### Binary operator expressions
533
533
@@ -537,31 +537,31 @@ binop_expr : expr binop expr ;
537
537
538
538
#### Arithmetic operators
539
539
540
- ** FIXME:** grammar?
540
+ ** FIXME:** grammar?
541
541
542
542
#### Bitwise operators
543
543
544
- ** FIXME:** grammar?
544
+ ** FIXME:** grammar?
545
545
546
546
#### Lazy boolean operators
547
547
548
- ** FIXME:** grammar?
548
+ ** FIXME:** grammar?
549
549
550
550
#### Comparison operators
551
551
552
- ** FIXME:** grammar?
552
+ ** FIXME:** grammar?
553
553
554
554
#### Type cast expressions
555
555
556
- ** FIXME:** grammar?
556
+ ** FIXME:** grammar?
557
557
558
558
#### Assignment expressions
559
559
560
- ** FIXME:** grammar?
560
+ ** FIXME:** grammar?
561
561
562
562
#### Compound assignment expressions
563
563
564
- ** FIXME:** grammar?
564
+ ** FIXME:** grammar?
565
565
566
566
#### Operator precedence
567
567
@@ -680,49 +680,49 @@ return_expr : "return" expr ? ;
680
680
681
681
# Type system
682
682
683
- ** FIXME:** is this entire chapter relevant here? Or should it all have been covered by some production already?
683
+ ** FIXME:** is this entire chapter relevant here? Or should it all have been covered by some production already?
684
684
685
685
## Types
686
686
687
687
### Primitive types
688
688
689
- ** FIXME:** grammar?
689
+ ** FIXME:** grammar?
690
690
691
691
#### Machine types
692
692
693
- ** FIXME:** grammar?
693
+ ** FIXME:** grammar?
694
694
695
695
#### Machine-dependent integer types
696
696
697
- ** FIXME:** grammar?
697
+ ** FIXME:** grammar?
698
698
699
699
### Textual types
700
700
701
- ** FIXME:** grammar?
701
+ ** FIXME:** grammar?
702
702
703
703
### Tuple types
704
704
705
- ** FIXME:** grammar?
705
+ ** FIXME:** grammar?
706
706
707
707
### Array, and Slice types
708
708
709
- ** FIXME:** grammar?
709
+ ** FIXME:** grammar?
710
710
711
711
### Structure types
712
712
713
- ** FIXME:** grammar?
713
+ ** FIXME:** grammar?
714
714
715
715
### Enumerated types
716
716
717
- ** FIXME:** grammar?
717
+ ** FIXME:** grammar?
718
718
719
719
### Pointer types
720
720
721
- ** FIXME:** grammar?
721
+ ** FIXME:** grammar?
722
722
723
723
### Function types
724
724
725
- ** FIXME:** grammar?
725
+ ** FIXME:** grammar?
726
726
727
727
### Closure types
728
728
@@ -739,23 +739,23 @@ bound := path | lifetime
739
739
740
740
### Object types
741
741
742
- ** FIXME:** grammar?
742
+ ** FIXME:** grammar?
743
743
744
744
### Type parameters
745
745
746
- ** FIXME:** grammar?
746
+ ** FIXME:** grammar?
747
747
748
748
### Self types
749
749
750
- ** FIXME:** grammar?
750
+ ** FIXME:** grammar?
751
751
752
752
## Type kinds
753
753
754
754
** FIXME:** this this probably not relevant to the grammar...
755
755
756
756
# Memory and concurrency models
757
757
758
- ** FIXME:** is this entire chapter relevant here? Or should it all have been covered by some production already?
758
+ ** FIXME:** is this entire chapter relevant here? Or should it all have been covered by some production already?
759
759
760
760
## Memory model
761
761
0 commit comments