From 9f09514e85db7ab82d4c251d7b3b6cea3a1cda2f Mon Sep 17 00:00:00 2001
From: Alex Byaly <alexander.byaly@iohk.io>
Date: Tue, 8 Jun 2021 13:55:06 -0500
Subject: [PATCH] Update cddl for plutus data

---
 alonzo/test/cddl-files/alonzo.cddl | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/alonzo/test/cddl-files/alonzo.cddl b/alonzo/test/cddl-files/alonzo.cddl
index c80a86e172..06ca910b00 100644
--- 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