remove unListData

This commit is contained in:
Kasey White
2022-11-24 18:23:42 -05:00
committed by Lucas
parent 84da69411d
commit e3267310c5

View File

@@ -187,8 +187,6 @@ impl<'a> CodeGenerator<'a> {
unique: 0.into(),
},
body: Term::Apply {
function: Term::Builtin(DefaultFunction::UnListData).into(),
argument: Term::Apply {
function: Term::Force(
Term::Force(Term::Builtin(DefaultFunction::SndPair).into()).into(),
)
@@ -206,8 +204,6 @@ impl<'a> CodeGenerator<'a> {
.into(),
}
.into(),
}
.into(),
};
term = self.add_arg_getter(term);
@@ -246,6 +242,8 @@ impl<'a> CodeGenerator<'a> {
let mut interner = Interner::new();
println!("{}", program.to_pretty());
interner.program(&mut program);
program