Carl Friedrich Bolz  committed 441bfa5

unroll basic_unify of shaped callables correctly

  • Participants
  • Parent commits cad8169
  • Branches compress-terms2

Comments (0)

Files changed (1)

File prolog/interpreter/

         return self.signature().numargs
-    def basic_unify(self, other, heap, occurs_check=False):
+    @jit.look_inside_iff(lambda self, other, heap, occurs_check:
+        jit.isvirtual(self) or jit.isvirtual(other) or
+        jit.isconstant(self) or jit.isconstant(other))
+    def basic_unify(self, other, heap, occurs_check):
         if (isinstance(other, ShapedCallableBase) and
                 self.get_shape() is other.get_shape()):
             for i in range(self.size_storage()):