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

fix typing to constr

This commit is contained in:
microproofs 2023-07-26 17:49:47 -04:00 committed by Kasey
parent 52ebc9b6c1
commit 3545bad3c4
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/aiken-lang/src/gen_uplc.rs
View File

@ -262,6 +262,7 @@ impl<'a> CodeGenerator<'a> {
ValueConstructorVariant::Record { ValueConstructorVariant::Record {
name: constr_name, .. name: constr_name, ..
}, },
tipo: constr_tipo,
.. ..
}, },
.. ..
@ -269,7 +270,9 @@ impl<'a> CodeGenerator<'a> {
| TypedExpr::ModuleSelect { | TypedExpr::ModuleSelect {
constructor: constructor:
ModuleValueConstructor::Record { ModuleValueConstructor::Record {
name: constr_name, .. name: constr_name,
tipo: constr_tipo,
..
}, },
.. ..
} => { } => {
@ -285,7 +288,7 @@ impl<'a> CodeGenerator<'a> {
let constr_args = args.iter().map(|arg| self.build(&arg.value)).collect_vec(); let constr_args = args.iter().map(|arg| self.build(&arg.value)).collect_vec();
AirTree::create_constr(constr_index, tipo.clone(), constr_args) AirTree::create_constr(constr_index, constr_tipo.clone(), constr_args)
} }
TypedExpr::Var { TypedExpr::Var {