From 4c8221e439a9952ff47e3c9a5d37445731ee3396 Mon Sep 17 00:00:00 2001
From: Kasey White <kwhitemsg@gmail.com>
Date: Sat, 4 Feb 2023 02:47:55 -0500
Subject: [PATCH] fix: add is data check to recursive_assert_tipo

---
 crates/aiken-lang/src/uplc.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/aiken-lang/src/uplc.rs b/crates/aiken-lang/src/uplc.rs
index 90c05471..8b78d37b 100644
--- a/crates/aiken-lang/src/uplc.rs
+++ b/crates/aiken-lang/src/uplc.rs
@@ -2111,6 +2111,7 @@ impl<'a> CodeGenerator<'a> {
             || tipo.is_string()
             || tipo.is_void()
             || tipo.get_generic().is_some()
+            || tipo.is_data()
         {
         } else if tipo.is_map() {
             self.used_data_assert_on_list = true;