From 9cf908d07f6abc5f73e0fd8c042915a9317f9d8a Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Fri, 13 Sep 2024 18:32:49 +0200
Subject: [PATCH] Fix type reification of Data

---
 crates/aiken-lang/src/expr.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/crates/aiken-lang/src/expr.rs b/crates/aiken-lang/src/expr.rs
index 82c384aa..b04c29b0 100644
--- a/crates/aiken-lang/src/expr.rs
+++ b/crates/aiken-lang/src/expr.rs
@@ -1138,6 +1138,13 @@ impl UntypedExpr {
                             ..
                         }) = lookup_data_type_by_tipo(data_types, tipo)
                         {
+                            if constructors.is_empty() {
+                                return Ok(UntypedExpr::Var {
+                                    location: Span::empty(),
+                                    name: "Data".to_string(),
+                                });
+                            }
+
                             let constructor = &constructors[ix];
 
                             typed_parameters