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

format fix

This commit is contained in:
Kasey White 2023-02-12 19:12:38 -05:00
parent 765ceefd38
commit 3b3ec7d95c
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
crates/aiken-lang/src/builder.rs
View File

@ -192,7 +192,10 @@ pub fn convert_type_to_data(term: Term<Name>, field_type: &Arc<Type>) -> Term<Na
apply_wrap(DefaultFunction::IData.into(), term) apply_wrap(DefaultFunction::IData.into(), term)
} else if field_type.is_void() { } else if field_type.is_void() {
apply_wrap( apply_wrap(
apply_wrap(Term::Builtin(DefaultFunction::ChooseUnit).force_wrap(), term), apply_wrap(
Term::Builtin(DefaultFunction::ChooseUnit).force_wrap(),
term,
),
Term::Constant( Term::Constant(
UplcConstant::Data(PlutusData::Constr(Constr { UplcConstant::Data(PlutusData::Constr(Constr {
tag: convert_constr_to_tag(0).unwrap(), tag: convert_constr_to_tag(0).unwrap(),