add proceed to inlined instructions in tail position

This commit is contained in:
Mark Thom
2018-07-31 15:14:28 -06:00
parent 1ce527d179
commit cf82accc4b

View File

@@ -494,6 +494,7 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<TermMarker>
// add a proceed to bookend any trailing cuts.
match toc {
&QueryTerm::BlockedCut | &QueryTerm::UnblockedCut(..) => code.push(proceed!()),
&QueryTerm::Clause(_, ClauseType::Inlined(..), _) => code.push(proceed!()),
_ => {}
};