From 99a334b132cd375f8797625c4a9ac4d6c06461be Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Wed, 11 Jan 2023 20:12:51 -0500
Subject: [PATCH] fix(check): the expected arity with hardcoded to 0

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

diff --git a/crates/aiken-lang/src/tipo/pattern.rs b/crates/aiken-lang/src/tipo/pattern.rs
index 64b43fca..30c4477d 100644
--- a/crates/aiken-lang/src/tipo/pattern.rs
+++ b/crates/aiken-lang/src/tipo/pattern.rs
@@ -555,7 +555,7 @@ impl<'a, 'b> PatternTyper<'a, 'b> {
                             Err(Error::IncorrectPatternArity {
                                 location,
                                 given: pattern_args,
-                                expected: 0,
+                                expected: args.len(),
                                 name: name.clone(),
                                 module: module.clone(),
                                 is_record,