]> gitweb.factorcode.org Git - factor.git/blobdiff - extra/benchmark/backtrack/backtrack.factor
Merge branch 'master' of git://factorforge.org/git/william42
[factor.git] / extra / benchmark / backtrack / backtrack.factor
old mode 100644 (file)
new mode 100755 (executable)
index 0ffaaa4..df67872
@@ -12,18 +12,6 @@ IN: benchmark.backtrack
 
 : nop ;
 
-MACRO: amb-execute ( seq -- quot )
-    [ length ] [ <enum> [ 1quotation ] assoc-map ] bi
-    '[ , amb , case ] ;
-
-: if-amb ( true false -- )
-    [
-        [ { t f } amb ]
-        [ '[ @ require t ] ]
-        [ '[ @ f ] ]
-        tri* if
-    ] with-scope ; inline
-
 : do-something ( a b -- c )
     { + - * } amb-execute ;