From e3267310c5296e56a60f67cb0911c24171f93741 Mon Sep 17 00:00:00 2001 From: Kasey White Date: Thu, 24 Nov 2022 18:23:42 -0500 Subject: [PATCH] remove unListData --- crates/lang/src/uplc.rs | 24 +++++++++++------------- 1 file changed, 11 insertions(+), 13 deletions(-) diff --git a/crates/lang/src/uplc.rs b/crates/lang/src/uplc.rs index fe6c8991..e1300e10 100644 --- a/crates/lang/src/uplc.rs +++ b/crates/lang/src/uplc.rs @@ -187,20 +187,16 @@ impl<'a> CodeGenerator<'a> { unique: 0.into(), }, body: Term::Apply { - function: Term::Builtin(DefaultFunction::UnListData).into(), + function: Term::Force( + Term::Force(Term::Builtin(DefaultFunction::SndPair).into()).into(), + ) + .into(), argument: Term::Apply { - function: Term::Force( - Term::Force(Term::Builtin(DefaultFunction::SndPair).into()).into(), - ) - .into(), - argument: Term::Apply { - function: Term::Builtin(DefaultFunction::UnConstrData).into(), - argument: Term::Var(Name { - text: "constr_var".to_string(), - unique: 0.into(), - }) - .into(), - } + function: Term::Builtin(DefaultFunction::UnConstrData).into(), + argument: Term::Var(Name { + text: "constr_var".to_string(), + unique: 0.into(), + }) .into(), } .into(), @@ -246,6 +242,8 @@ impl<'a> CodeGenerator<'a> { let mut interner = Interner::new(); + println!("{}", program.to_pretty()); + interner.program(&mut program); program