From 186e1235fd65970c90fe10e7f53ab8b9a0cfc401 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Fri, 28 Jul 2023 21:02:29 -0400
Subject: [PATCH] checkpoint

---
 crates/aiken-lang/src/gen_uplc.rs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs
index 69065f17..ee33ada2 100644
--- a/crates/aiken-lang/src/gen_uplc.rs
+++ b/crates/aiken-lang/src/gen_uplc.rs
@@ -3105,9 +3105,12 @@ impl<'a> CodeGenerator<'a> {
 
                             DefaultFunction::FstPair
                             | DefaultFunction::SndPair
-                            | DefaultFunction::HeadList => {
-                                builder::undata_builtin(builtin, 0, &constructor.tipo, vec![])
-                            }
+                            | DefaultFunction::HeadList => builder::undata_builtin(
+                                builtin,
+                                0,
+                                &constructor.tipo.return_type().unwrap(),
+                                vec![],
+                            ),
 
                             DefaultFunction::MkCons | DefaultFunction::MkPairData => {
                                 unimplemented!("MkCons and MkPairData should be handled by an anon function or using [] or ( a, b, .., z).\n")