From 266b6bbb7d4658b265bd1f6982abbd38f5e2607b Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Thu, 3 Aug 2023 16:28:47 -0400
Subject: [PATCH] fix(exhaustiveness): for constructor use correct name because
 import aliases

---
 crates/aiken-lang/src/tipo/exhaustive.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-lang/src/tipo/exhaustive.rs b/crates/aiken-lang/src/tipo/exhaustive.rs
index 1070907c..aa8e7d13 100644
--- a/crates/aiken-lang/src/tipo/exhaustive.rs
+++ b/crates/aiken-lang/src/tipo/exhaustive.rs
@@ -556,11 +556,11 @@ pub(super) fn simplify(
             Ok(p)
         }
         ast::Pattern::Constructor {
-            name,
             arguments,
             location,
             tipo,
             with_spread,
+            constructor: super::PatternConstructor::Record { name, .. },
             ..
         } => {
             let (module, type_name, arity) = match tipo.deref() {