From 3b4c6cb2aad0566c691eca4aa4c478479331894b Mon Sep 17 00:00:00 2001 From: microproofs Date: Tue, 6 Feb 2024 13:58:55 -0500 Subject: [PATCH] fix: missing message error term in one place for type is void --- crates/aiken-lang/src/gen_uplc/builder.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/aiken-lang/src/gen_uplc/builder.rs b/crates/aiken-lang/src/gen_uplc/builder.rs index ee1f6656..8910c39d 100644 --- a/crates/aiken-lang/src/gen_uplc/builder.rs +++ b/crates/aiken-lang/src/gen_uplc/builder.rs @@ -1270,7 +1270,7 @@ pub fn convert_data_to_type_debug( Term::equals_integer() .apply(Term::integer(0.into())) .apply(Term::fst_pair().apply(Term::unconstr_data().apply(Term::var("__val")))) - .delayed_if_then_else(Term::unit(), Term::Error), + .delayed_if_then_else(Term::unit(), error_term.clone()), error_term.clone(), error_term.clone(), error_term.clone(),