remove unListData

aiken-lang · Nov 29, 2022 · d494651 · d494651
1 parent 0823b78
commit d494651
Showing 1 changed file with 11 additions and 13 deletions.
diff --git 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