2 USING: kernel math tools.test combinators.short-circuit.smart ;
4 IN: combinators.short-circuit.smart.tests
6 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
8 : must-be-t ( in -- ) [ t ] swap unit-test ;
9 : must-be-f ( in -- ) [ f ] swap unit-test ;
11 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
13 [ { [ 1 ] [ 2 ] [ 3 ] } && 3 = ] must-be-t
14 [ 3 { [ 0 > ] [ odd? ] [ 2 + ] } && 5 = ] must-be-t
15 [ 10 20 { [ + 0 > ] [ - even? ] [ + ] } && 30 = ] must-be-t
17 [ { [ 1 ] [ f ] [ 3 ] } && 3 = ] must-be-f
18 [ 3 { [ 0 > ] [ even? ] [ 2 + ] } && ] must-be-f
19 [ 10 20 { [ + 0 > ] [ - odd? ] [ + ] } && 30 = ] must-be-f
21 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
23 [ { [ 10 0 < ] [ f ] [ "factor" ] } || "factor" = ] must-be-t
25 [ 10 { [ odd? ] [ 100 > ] [ 1 + ] } || 11 = ] must-be-t
27 [ 10 20 { [ + odd? ] [ + 100 > ] [ + ] } || 30 = ] must-be-t
29 [ { [ 10 0 < ] [ f ] [ 0 1 = ] } || ] must-be-f
31 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!