From e2ecab70c19cb3c8dd07ad0cfbc4bbec648acca9 Mon Sep 17 00:00:00 2001 From: kusumotonorio <47816570+kusumotonorio@users.noreply.github.com> Date: Tue, 3 Mar 2020 21:16:52 +0900 Subject: [PATCH] logic.factor: [ quot call( -- ) ] --> quot --- extra/logic/logic.factor | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/extra/logic/logic.factor b/extra/logic/logic.factor index 2c347a7d69..7e96ebb02d 100644 --- a/extra/logic/logic.factor +++ b/extra/logic/logic.factor @@ -222,7 +222,7 @@ DEFER: unify* ] [ body unclip :> ( rest-goals! first-goal! ) first-goal !! = [ ! cut - rest-goals env cut [ quot call( -- ) ] resolve-body + rest-goals env cut quot resolve-body t cut set-info ] [ first-goal callable? [ @@ -243,11 +243,11 @@ DEFER: unify* first-goal env d-head d-env trail d-env unify* [ d-body callable? [ d-env trail d-body call( cb-env -- ? ) [ - rest-goals env cut [ quot call( -- ) ] resolve-body + rest-goals env cut quot resolve-body ] when ] [ d-body d-env d-cut [ - rest-goals env cut [ quot call( -- ) ] resolve-body + rest-goals env cut quot resolve-body cut cut? d-cut set-info-if-f ] resolve-body ] if