From: Doug Coleman <doug.coleman@gmail.com>
Date: Tue, 9 Jun 2015 00:19:32 +0000 (-0700)
Subject: backtrack: rename generically named require
X-Git-Tag: unmaintained~2647
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=a2de78431250c94b205a7bccb6e75d5db7e02fc0

backtrack: rename generically named require
---

diff --git a/extra/backtrack/backtrack.factor b/extra/backtrack/backtrack.factor
index 27c40b637f..2b4c771c93 100644
--- a/extra/backtrack/backtrack.factor
+++ b/extra/backtrack/backtrack.factor
@@ -15,7 +15,7 @@ M: amb-failure summary drop "Backtracking failure" ;
 : fail ( -- )
     failure get [ continue ] [ amb-failure ] if* ;
 
-: require ( ? -- )
+: must-be-true ( ? -- )
     [ fail ] unless ;
 
 MACRO: checkpoint ( quot -- quot' )
@@ -66,7 +66,7 @@ MACRO: amb-execute ( seq -- quot )
 : if-amb ( true false -- ? )
     [
         [ { t f } amb ]
-        [ '[ @ require t ] ]
+        [ '[ @ must-be-true t ] ]
         [ '[ @ f ] ]
         tri* if
     ] amb-preserve ; inline