basis/stack-checker/call-effect/call-effect-tests.factor

   1 USING: stack-checker.call-effect tools.test kernel math effects ;
   2 IN: stack-checker.call-effect.tests
   3
   4 [ t ] [ \ + (( a b -- c )) execute-effect-unsafe? ] unit-test
   5 [ t ] [ \ + (( a b c -- d e )) execute-effect-unsafe? ] unit-test
   6 [ f ] [ \ + (( a b c -- d )) execute-effect-unsafe? ] unit-test
   7 [ f ] [ \ call (( x -- )) execute-effect-unsafe? ] unit-test
   8
   9 [ t ] [ [ + ] cached-effect (( a b -- c )) effect= ] unit-test
  10 [ t ] [ 5 [ + ] curry cached-effect (( a -- c )) effect= ] unit-test
  11 [ t ] [ 5 [ ] curry cached-effect (( -- c )) effect= ] unit-test
  12 [ t ] [ [ dup ] [ drop ] compose cached-effect (( a -- b )) effect= ] unit-test
  13 [ t ] [ [ drop ] [ dup ] compose cached-effect (( a b -- c d )) effect= ] unit-test
  14 [ t ] [ [ 2drop ] [ dup ] compose cached-effect (( a b c -- d e )) effect= ] unit-test
  15 [ t ] [ [ 1 2 3 ] [ 2drop ] compose cached-effect (( -- a )) effect= ] unit-test
  16 [ t ] [ [ 1 2 ] [ 3drop ] compose cached-effect (( a -- )) effect= ] unit-test