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

fix issue with scope for data creation and wrap program with ifthenelse

This commit is contained in:
Kasey White 2022-11-10 02:50:02 -05:00 committed by Kasey White
parent a3935c5df7
commit c36fa8cee5
1 changed files with 19 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
crates/lang/src/uplc.rs
View File

@ -160,6 +160,23 @@ impl<'a> CodeGenerator<'a> {
term = self.add_arg_getter(term);
term = Term::Force(
Term::Apply {
function: Term::Apply {
function: Term::Apply {
function: Term::Force(Term::Builtin(DefaultFunction::IfThenElse).into())
.into(),
argument: term,
}
.into(),
argument: Term::Delay(Term::Constant(Constant::Unit).into()).into(),
}
.into(),
argument: Term::Delay(Term::Error.into()).into(),
}
.into(),
);
for arg in arguments.iter().rev() {
term = Term::Lambda {
parameter_name: uplc::ast::Name {
@ -223,7 +240,7 @@ impl<'a> CodeGenerator<'a> {
self.recurse_scope_level(fun, scope_level.scope_increment(args.len() as i32 + 1));
for (i, arg) in args.iter().enumerate() {
self.recurse_scope_level(&arg.value, scope_level.scope_increment(i as i32 + 1));
self.recurse_scope_level(&arg.value, scope_level.clone());
}
}
TypedExpr::BinOp { left, right, .. } => {
@ -540,11 +557,10 @@ impl<'a> CodeGenerator<'a> {
.get(&(module.to_string(), name.to_string()))
.unwrap();
println!("DATATYPES ARE {data_type:#?}");
let constr = data_type
.constructors
.iter()
.find(|x| x.name == constr_name.to_string())
.find(|x| x.name == *constr_name)
.unwrap();
let arg_to_data: Vec<(bool, Term<Name>)> = constr