Update cddl for plutus data

IntersectMBO · Jun 8, 2021 · 9f09514 · 9f09514
1 parent 452ec4e
commit 9f09514
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/alonzo/test/cddl-files/alonzo.cddl b/alonzo/test/cddl-files/alonzo.cddl
@@ -228,10 +228,14 @@ plutus_data = ; New
     constr<plutus_data>
   / { * plutus_data => plutus_data }
   / [ * plutus_data ]
-  / integer
+  / big_int
   / bytes .size (0..64)
 
-constr<a> =
+big_int = int / big_uint / big_nint ; New
+big_uint = #6.2(bytes .size (0..64)) ; New
+big_nint = #6.3(bytes .size (0..64)) ; New
+
+constr<a> = ; New
     #6.121([* a])
   / #6.122([* a])
   / #6.123([* a])
@@ -240,7 +244,7 @@ constr<a> =
   / #6.126([* a])
   / #6.127([* a])
   ; similarly for tag range: 6.1280 .. 6.1400 inclusive
-  / #6.102([int, * a])
+  / #6.102([uint, * a])
 
 redeemer = [ tag: redeemer_tag, index: uint, data: plutus_data, ex_units: ex_units ] ; New
 redeemer_tag = ; New