]> gitweb.factorcode.org Git - factor.git/blobdiff - extra/backtrack/backtrack-tests.factor
Revert "factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring...
[factor.git] / extra / backtrack / backtrack-tests.factor
index 034c0cb0e07ee84c3cc96c328eb9b86d82b9e3a4..d8e9830532162e95fec107c288ed578d47177aeb 100644 (file)
@@ -3,13 +3,13 @@
 USING: backtrack math tools.test ;
 
 cut-amb
-{ 1 } [ { 1 2 } amb ] unit-test
-{ V{ { 1 2 } } } [ [ { 1 2 } ] bag-of ] unit-test
-{ V{ 1 2 } } [ [ { 1 2 } amb ] bag-of ] unit-test
+[ 1 ] [ { 1 2 } amb ] unit-test
+[ V{ { 1 2 } } ] [ [ { 1 2 } ] bag-of ] unit-test
+[ V{ 1 2 } ] [ [ { 1 2 } amb ] bag-of ] unit-test
 [ cut-amb { } amb ] must-fail
 [ fail ] must-fail
-{ V{ 1 10 2 20 } } [ [ { 1 2 } amb { 1 10 } amb * ] bag-of ] unit-test
-{ V{ 7 -1 } } [ [ 3 4 { + - } amb-execute ] bag-of ] unit-test
-{ "foo" t } [ [ "foo" t ] [ "bar" ] if-amb ] unit-test
-{ "bar" f } [ [ "foo" f ] [ "bar" ] if-amb ] unit-test
-{ "bar" f } [ [ "foo" fail ] [ "bar" ] if-amb ] unit-test
+[ V{ 1 10 2 20 } ] [ [ { 1 2 } amb { 1 10 } amb * ] bag-of ] unit-test
+[ V{ 7 -1 } ] [ [ 3 4 { + - } amb-execute ] bag-of ] unit-test
+[ "foo" t ] [ [ "foo" t ] [ "bar" ] if-amb ] unit-test
+[ "bar" f ] [ [ "foo" f ] [ "bar" ] if-amb ] unit-test
+[ "bar" f ] [ [ "foo" fail ] [ "bar" ] if-amb ] unit-test