Carl Friedrich Bolz  committed 93f4d7d

use the direct call again, the JIT will take care of it and it makes
optimization simpler

  • Participants
  • Parent commits 365f861
  • Branches minimal-specialization

Comments (0)

Files changed (1)

File prolog/interpreter/

         env = [None] * self.size_env
         if self.headargs is not None:
             assert isinstance(head, Callable)
-            for i in range(len(self.headargs)):
-                arg2 = self.headargs[i]
-                arg1 = head.argument_at(i)
-                arg2.unify_and_standardize_apart(arg1, heap, env)
+            self.head.unify_and_standardize_apart(head, heap, env)
         body = self.body
         if body is None:
             return None