From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 31 Jul 2018 21:14:28 +0000 (-0600)
Subject: add proceed to inlined instructions in tail position
X-Git-Tag: v0.8.110~438
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cf82accc4bf7e7b68cc8eae7258590e2db12cd23;p=scryer-prolog.git

add proceed to inlined instructions in tail position
---

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 274b557d..575f389e 100644
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -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!()),
             _ => {}
         };