From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 15 Nov 2024 05:39:56 +0000 (-0700)
Subject: admit YF in current_op/3 (#2639)
X-Git-Tag: v0.10.0~104
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ff03432624195b3530c8fe8d99f19dc6d988ad64;p=scryer-prolog.git

admit YF in current_op/3 (#2639)
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 752ae6b4..24798919 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -4026,12 +4026,7 @@ impl Machine {
             let orig_op = self.deref_register(3);
 
             let spec_num = if spec.get_tag() == HeapCellValueTag::Atom {
-                Some(
-                    OpDeclSpec::try_from(cell_as_atom!(spec))
-                        .ok()
-                        .filter(|spec| matches!(spec, XFX | XFY | YFX | FX | FY | XF))
-                        .expect("we should only get valid values != YF here"),
-                )
+                OpDeclSpec::try_from(cell_as_atom!(spec)).ok()
             } else {
                 None
             };