File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change @@ -566,9 +566,9 @@ ccf-composite-type-message =
566
566
])
567
567
568
568
composite-type = [
569
- id: bstr,
570
- location-identifier: tstr,
571
- fields: [
569
+ id: bstr,
570
+ location-identifier: tstr,
571
+ fields: [
572
572
+ [
573
573
field-name: tstr,
574
574
field-type: inline-type
@@ -633,10 +633,11 @@ dict-type =
633
633
634
634
capability-type =
635
635
; cbor-tag-capability-type
636
- #6.142(
636
+ ; use an array as an extension point
637
+ #6.142([
637
638
; borrow-type
638
639
inline-type
639
- )
640
+ ] )
640
641
641
642
type-ref =
642
643
; cbor-tag-type-ref
@@ -934,10 +935,11 @@ restricted-type-value =
934
935
935
936
capability-type-value =
936
937
; cbor-tag-capability-type-value
937
- #6.158(
938
+ ; use an array as an extension point
939
+ #6.158([
938
940
; borrow-type
939
941
type-value
940
- )
942
+ ] )
941
943
942
944
;CDDL-END
943
945
```
You can’t perform that action at this time.
0 commit comments