missing into on a term
This commit is contained in:
@@ -166,7 +166,7 @@ impl<'a> CodeGenerator<'a> {
|
|||||||
function: Term::Apply {
|
function: Term::Apply {
|
||||||
function: Term::Force(Term::Builtin(DefaultFunction::IfThenElse).into())
|
function: Term::Force(Term::Builtin(DefaultFunction::IfThenElse).into())
|
||||||
.into(),
|
.into(),
|
||||||
argument: term,
|
argument: term.into(),
|
||||||
}
|
}
|
||||||
.into(),
|
.into(),
|
||||||
argument: Term::Delay(Term::Constant(Constant::Unit).into()).into(),
|
argument: Term::Delay(Term::Constant(Constant::Unit).into()).into(),
|
||||||
|
|||||||
Reference in New Issue
Block a user