fix: needed a stricter check for expect_pattern func on discard pattern

aiken-lang · Jun 28, 2023 · d641f73 · d641f73
1 parent 1c7b8e0
commit d641f73
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs
@@ -1765,16 +1765,19 @@ impl<'a> CodeGenerator<'a> {
                 );
             }
             Pattern::Discard { .. } => {
-                if matches!(assignment_properties.kind, AssignmentKind::Let) {
-                    pattern_stack.let_assignment("_", value_stack);
-                } else {
+                if matches!(assignment_properties.kind, AssignmentKind::Expect)
+                    && assignment_properties.value_type.is_data()
+                    && !tipo.is_data()
+                {
                     self.expect_pattern(
                         pattern,
                         pattern_stack,
                         value_stack,
                         tipo,
                         assignment_properties,
-                    )
+                    );
+                } else {
+                    pattern_stack.let_assignment("_", value_stack);
                 }
             }
             list @ Pattern::List { .. } => {