From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 3 Feb 2021 04:03:15 +0000 (-0700)
Subject: replace Char '!' with QueryTerm::BlockedCut
X-Git-Tag: v0.9.0~150^2~67^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a2447ecaa32bfff3eafd9b5f4ddda3899154104c;p=scryer-prolog.git

replace Char '!' with QueryTerm::BlockedCut
---

diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs
index c063bd6f..a6e3f1e3 100644
--- a/src/machine/preprocessor.rs
+++ b/src/machine/preprocessor.rs
@@ -712,6 +712,9 @@ impl Preprocessor {
                     Ok(clause_to_query_term(load_state, name, vec![], fixity))
                 }
             }
+            Term::Constant(_, Constant::Char('!')) => {
+                Ok(QueryTerm::BlockedCut)
+            }
             Term::Var(_, ref v) if v.as_str() == "!" => {
                 Ok(QueryTerm::UnblockedCut(Cell::default()))
             }