fix to subject type for assignment on single clause

This commit is contained in:
microproofs 2023-07-27 11:21:28 -04:00 committed by Kasey
parent dcb3a9b45b
commit 389699f485
1 changed files with 5 additions and 1 deletions

View File

@ -428,12 +428,14 @@ impl<'a> CodeGenerator<'a> {
let clause_then = self.build(&last_clause.then);
let subject_type = subject.tipo();
let subject_val = self.build(subject);
let assignment = self.assignment(
&last_clause.pattern,
subject_val,
tipo,
&subject_type,
AssignmentProperties {
value_type: subject.tipo(),
kind: AssignmentKind::Let,
@ -977,6 +979,8 @@ impl<'a> CodeGenerator<'a> {
type_map.insert(index, field_type);
}
println!("TIPO {:#?}", tipo);
let elems = elems
.iter()
.enumerate()