checkpoint

2023-07-28 21:02:29 -04:00 · 2023-07-28 21:02:29 -04:00 · 186e1235fd
parent 1ee7492f1f
commit 186e1235fd
1 changed files with 6 additions and 3 deletions
--- 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")