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

remove a redundant type replacement in build_ir

This commit is contained in:
Kasey White 2023-02-05 23:56:44 -05:00
parent 3ff927d30a
commit 5d0c5d2a5b
1 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
crates/aiken-lang/src/uplc.rs
View File

@ -346,8 +346,7 @@ impl<'a> CodeGenerator<'a> {
// assuming one subject at the moment // assuming one subject at the moment
let subject = subjects[0].clone(); let subject = subjects[0].clone();
let mut replaced_type = subject.tipo(); let subject_tipo = subject.tipo();
replace_opaque_type(&mut replaced_type, self.data_types.clone());
if clauses.len() <= 1 { if clauses.len() <= 1 {
let mut value_vec: Vec<Air> = vec![]; let mut value_vec: Vec<Air> = vec![];
let mut pattern_vec: Vec<Air> = vec![]; let mut pattern_vec: Vec<Air> = vec![];
@ -361,7 +360,7 @@ impl<'a> CodeGenerator<'a> {
&clauses[0].pattern[0], &clauses[0].pattern[0],
&mut pattern_vec, &mut pattern_vec,
&mut subject_vec, &mut subject_vec,
&replaced_type, &subject_tipo,
AssignmentProperties { AssignmentProperties {
value_type: clauses[0].then.tipo(), value_type: clauses[0].then.tipo(),
kind: AssignmentKind::Let, kind: AssignmentKind::Let,
@ -373,7 +372,7 @@ impl<'a> CodeGenerator<'a> {
ir_stack.append(&mut value_vec); ir_stack.append(&mut value_vec);
} else { } else {
// HERE TODO // HERE TODO
let clauses = if replaced_type.is_list() { let clauses = if subject_tipo.is_list() {
rearrange_clauses(clauses.clone()) rearrange_clauses(clauses.clone())
} else { } else {
clauses.clone() clauses.clone()
@ -383,7 +382,7 @@ impl<'a> CodeGenerator<'a> {
let mut pattern_vec = vec![]; let mut pattern_vec = vec![];
let mut clause_properties = ClauseProperties::init( let mut clause_properties = ClauseProperties::init(
&replaced_type, &subject_tipo,
constr_var.clone(), constr_var.clone(),
subject_name.clone(), subject_name.clone(),
); );
@ -392,7 +391,7 @@ impl<'a> CodeGenerator<'a> {
&mut pattern_vec, &mut pattern_vec,
&mut clause_properties, &mut clause_properties,
clauses, clauses,
&replaced_type, &subject_tipo,
scope.clone(), scope.clone(),
); );
@ -418,7 +417,7 @@ impl<'a> CodeGenerator<'a> {
last_pattern, last_pattern,
&mut pattern_vec, &mut pattern_vec,
&mut final_clause_vec, &mut final_clause_vec,
&replaced_type, &subject_tipo,
&mut clause_properties, &mut clause_properties,
final_scope, final_scope,
); );
@ -434,7 +433,7 @@ impl<'a> CodeGenerator<'a> {
ir_stack.push(Air::When { ir_stack.push(Air::When {
scope: scope.clone(), scope: scope.clone(),
subject_name, subject_name,
tipo: replaced_type.clone(), tipo: subject_tipo.clone(),
}); });
let mut scope = scope; let mut scope = scope;
@ -443,7 +442,7 @@ impl<'a> CodeGenerator<'a> {
ir_stack.push(Air::Var { ir_stack.push(Air::Var {
scope, scope,
constructor: ValueConstructor::public( constructor: ValueConstructor::public(
replaced_type, subject_tipo,
ValueConstructorVariant::LocalVariable { ValueConstructorVariant::LocalVariable {
location: Span::empty(), location: Span::empty(),
}, },
@ -455,7 +454,7 @@ impl<'a> CodeGenerator<'a> {
ir_stack.push(Air::When { ir_stack.push(Air::When {
scope: scope.clone(), scope: scope.clone(),
subject_name, subject_name,
tipo: replaced_type, tipo: subject_tipo,
}); });
let mut scope = scope; let mut scope = scope;