Skip to content

Commit 51edc9c

Browse files
committed
Remove .size control from metadatum
1 parent a95e046 commit 51edc9c

File tree

8 files changed

+9
-44
lines changed

8 files changed

+9
-44
lines changed

eras/allegra/impl/cddl/data/allegra.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -332,12 +332,7 @@ metadata = {* metadatum_label => metadatum}
332332

333333
metadatum_label = uint .size 8
334334

335-
metadatum =
336-
{* metadatum => metadatum}
337-
/ [* metadatum]
338-
/ int
339-
/ bytes .size (0 .. 64)
340-
/ text .size (0 .. 64)
335+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
341336

342337
auxiliary_data_array =
343338
[transaction_metadata : metadata, auxiliary_scripts : auxiliary_scripts]

eras/alonzo/impl/cddl/data/alonzo.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -511,12 +511,7 @@ metadata = {* metadatum_label => metadatum}
511511

512512
metadatum_label = uint .size 8
513513

514-
metadatum =
515-
{* metadatum => metadatum}
516-
/ [* metadatum]
517-
/ int
518-
/ bytes .size (0 .. 64)
519-
/ text .size (0 .. 64)
514+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
520515

521516
auxiliary_data_array =
522517
[transaction_metadata : metadata, auxiliary_scripts : auxiliary_scripts]

eras/babbage/impl/cddl/data/babbage.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -538,12 +538,7 @@ metadata = {* metadatum_label => metadatum}
538538

539539
metadatum_label = uint .size 8
540540

541-
metadatum =
542-
{* metadatum => metadatum}
543-
/ [* metadatum]
544-
/ int
545-
/ bytes .size (0 .. 64)
546-
/ text .size (0 .. 64)
541+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
547542

548543
auxiliary_data_array =
549544
[transaction_metadata : metadata, auxiliary_scripts : auxiliary_scripts]

eras/conway/impl/cddl/data/conway.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -726,12 +726,7 @@ metadata = {* metadatum_label => metadatum}
726726

727727
metadatum_label = uint .size 8
728728

729-
metadatum =
730-
{* metadatum => metadatum}
731-
/ [* metadatum]
732-
/ int
733-
/ bytes .size (0 .. 64)
734-
/ text .size (0 .. 64)
729+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
735730

736731
auxiliary_data_array =
737732
[transaction_metadata : metadata, auxiliary_scripts : auxiliary_scripts]

eras/dijkstra/impl/cddl/data/dijkstra.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -778,12 +778,7 @@ metadata = {* metadatum_label => metadatum}
778778

779779
metadatum_label = uint .size 8
780780

781-
metadatum =
782-
{* metadatum => metadatum}
783-
/ [* metadatum]
784-
/ int
785-
/ bytes .size (0 .. 64)
786-
/ text .size (0 .. 64)
781+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
787782

788783
auxiliary_data_array =
789784
[transaction_metadata : metadata, auxiliary_scripts : auxiliary_scripts]

eras/mary/impl/cddl/data/mary.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -342,12 +342,7 @@ metadata = {* metadatum_label => metadatum}
342342

343343
metadatum_label = uint .size 8
344344

345-
metadatum =
346-
{* metadatum => metadatum}
347-
/ [* metadatum]
348-
/ int
349-
/ bytes .size (0 .. 64)
350-
/ text .size (0 .. 64)
345+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
351346

352347
auxiliary_data_array =
353348
[transaction_metadata : metadata, auxiliary_scripts : auxiliary_scripts]

eras/shelley/impl/cddl/data/shelley.cddl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -306,12 +306,7 @@ metadata = {* metadatum_label => metadatum}
306306

307307
metadatum_label = uint .size 8
308308

309-
metadatum =
310-
{* metadatum => metadatum}
311-
/ [* metadatum]
312-
/ int
313-
/ bytes .size (0 .. 64)
314-
/ text .size (0 .. 64)
309+
metadatum = {* metadatum => metadatum}/ [* metadatum]/ int/ bytes/ text
315310

316311
transaction = [transaction_body, transaction_witness_set, metadata/ nil]
317312

libs/cardano-ledger-core/cddl/Cardano/Ledger/Core/HuddleSpec.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -267,8 +267,8 @@ instance Era era => HuddleRule "metadatum" era where
267267
]
268268
/ sarr [0 <+ a (huddleRule @"metadatum" p)]
269269
/ VInt
270-
/ (VBytes `sized` (0 :: Word64, 64 :: Word64))
271-
/ (VText `sized` (0 :: Word64, 64 :: Word64))
270+
/ VBytes
271+
/ VText
272272

273273
instance Era era => HuddleRule "metadata" era where
274274
huddleRuleNamed pname p =

0 commit comments

Comments
 (0)