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

fix(exhaustiveness): for constructor use correct name because import aliases

This commit is contained in:
rvcas 2023-08-03 16:28:47 -04:00
parent 60ac8ab591
commit 266b6bbb7d
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
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/exhaustive.rs
View File

@ -556,11 +556,11 @@ pub(super) fn simplify(
Ok(p) Ok(p)
} }
ast::Pattern::Constructor { ast::Pattern::Constructor {
name,
arguments, arguments,
location, location,
tipo, tipo,
with_spread, with_spread,
constructor: super::PatternConstructor::Record { name, .. },
.. ..
} => { } => {
let (module, type_name, arity) = match tipo.deref() { let (module, type_name, arity) = match tipo.deref() {