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

Cargo tests now pass

This commit is contained in:
microproofs 2024-09-11 18:08:46 -04:00
parent 7c52094b15
commit 49ef3a740c
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1283,7 +1283,7 @@ impl<'a> CodeGenerator<'a> {
let name_interned = introduce_name(&mut self.interner, &name); let name_interned = introduce_name(&mut self.interner, &name);
let casted_var = AirTree::local_var(&name, tipo.clone()); let casted_var = AirTree::local_var(&name_interned, tipo.clone());
let tree = if elements.is_empty() { let tree = if elements.is_empty() {
assign_casted_value( assign_casted_value(
@ -3322,11 +3322,15 @@ impl<'a> CodeGenerator<'a> {
then, then,
) )
} }
Pattern::Assign { name, pattern, .. } => AirTree::let_assignment( Pattern::Assign { name, pattern, .. } => {
name, let name = self.interner.lookup_interned(name);
AirTree::local_var(&props.clause_var_name, subject_tipo.clone()),
self.nested_clause_condition(pattern, subject_tipo, props, then), AirTree::let_assignment(
), name,
AirTree::local_var(&props.clause_var_name, subject_tipo.clone()),
self.nested_clause_condition(pattern, subject_tipo, props, then),
)
}
Pattern::Discard { .. } => then, Pattern::Discard { .. } => then,
Pattern::List { elements, tail, .. } => { Pattern::List { elements, tail, .. } => {
props.complex_clause = true; props.complex_clause = true;