waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix(check): the expected arity with hardcoded to 0

This commit is contained in:
rvcas 2023-01-11 20:12:51 -05:00 committed by Lucas
parent 3be05b1545
commit 99a334b132
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/aiken-lang/src/tipo/pattern.rs
View File

@ -555,7 +555,7 @@ impl<'a, 'b> PatternTyper<'a, 'b> {
Err(Error::IncorrectPatternArity { Err(Error::IncorrectPatternArity {
location, location,
given: pattern_args, given: pattern_args,
expected: 0, expected: args.len(),
name: name.clone(), name: name.clone(),
module: module.clone(), module: module.clone(),
is_record, is_record,