3 files changed
+40
-31
lines changed- phases/ephemeral/docs.md+15-27
- phases/ephemeral/witx/typenames.witx+13-27
- phases/old/snapshot_0/docs.md+14-34
- phases/old/snapshot_0/witx/typenames.witx+12-33
- phases/snapshot/docs.md+11-31
- phases/snapshot/witx/typenames.witx+11-31
- tools/witx/Cargo.toml+1-1
- tools/witx/src/ast.rs+2-1
- tools/witx/src/docs/ast.rs+5-1
- tools/witx/src/layout.rs+75-20
- tools/witx/src/parser.rs+31-2
- tools/witx/src/render.rs+16-9
- tools/witx/src/representation.rs+39-6
- tools/witx/src/validate.rs+94-8
- tools/witx/tests/anonymous.rs+6-2
- tools/witx/tests/union.rs+183
Lines changed: 22 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
97 | 97 |
| |
98 | 98 |
| |
99 | 99 |
| |
100 |
| - | |
| 100 | + | |
101 | 101 |
| |
102 |
| - | |
103 |
| - | |
104 |
| - | |
105 |
| - | |
106 |
| - | |
107 |
| - | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
108 | 110 |
| |
109 |
| - | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
110 | 121 |
| |
111 | 122 |
| |
112 | 123 |
| |
| |||
190 | 201 |
| |
191 | 202 |
| |
192 | 203 |
| |
193 |
| - | |
194 |
| - | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
195 | 207 |
| |
196 | 208 |
| |
197 | 209 |
| |
|
Lines changed: 17 additions & 20 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
495 | 495 |
| |
496 | 496 |
| |
497 | 497 |
| |
498 |
| - | |
499 |
| - | |
500 |
| - | |
501 |
| - | |
502 |
| - | |
503 |
| - | |
504 | 498 |
| |
505 | 499 |
| |
506 | 500 |
| |
507 | 501 |
| |
508 | 502 |
| |
509 |
| - | |
| 503 | + | |
510 | 504 |
| |
511 |
| - | |
512 |
| - | |
| 505 | + | |
| 506 | + | |
| 507 | + | |
513 | 508 |
| |
514 | 509 |
| |
515 | 510 |
| |
| |||
539 | 534 |
| |
540 | 535 |
| |
541 | 536 |
| |
542 |
| - | |
543 |
| - | |
| 537 | + | |
544 | 538 |
| |
545 |
| - | |
546 |
| - | |
| 539 | + | |
| 540 | + | |
547 | 541 |
| |
| 542 | + | |
| 543 | + | |
| 544 | + | |
| 545 | + | |
| 546 | + | |
| 547 | + | |
| 548 | + | |
548 | 549 |
| |
549 | 550 |
| |
550 | 551 |
| |
551 | 552 |
| |
552 | 553 |
| |
553 | 554 |
| |
554 |
| - | |
555 |
| - | |
556 |
| - | |
| 555 | + | |
557 | 556 |
| |
558 | 557 |
| |
559 | 558 |
| |
| |||
677 | 676 |
| |
678 | 677 |
| |
679 | 678 |
| |
680 |
| - | |
681 | 679 |
| |
682 | 680 |
| |
683 | 681 |
| |
684 | 682 |
| |
685 | 683 |
| |
686 |
| - | |
687 |
| - | |
688 |
| - | |
| 684 | + | |
689 | 685 |
| |
690 | 686 |
| |
| 687 | + | |
691 | 688 |
| |
692 | 689 |
| |
693 | 690 |
| |
|
0 commit comments