core/effects/effects-tests.factor

   1 USING: effects effects.parser eval kernel tools.test prettyprint accessors
   2 quotations sequences ;
   3 IN: effects.tests
   4
   5 [ t ] [ { "a" } { "a" } <effect> { "a" "b" } { "a" "b" } <effect> effect<= ] unit-test
   6 [ f ] [ { "a" } { } <effect> { "a" "b" } { "a" "b" } <effect> effect<= ] unit-test
   7 [ t ] [ { "a" "b" } { "a" "b" } <effect> { "a" "b" } { "a" "b" } <effect> effect<= ] unit-test
   8 [ f ] [ { "a" "b" "c" } { "a" "b" "c" } <effect> { "a" "b" } { "a" "b" } <effect> effect<= ] unit-test
   9 [ f ] [ { "a" "b" } { "a" "b" "c" } <effect> { "a" "b" } { "a" "b" } <effect> effect<= ] unit-test
  10 [ 2 ] [ (( a b -- c )) in>> length ] unit-test
  11 [ 1 ] [ (( a b -- c )) out>> length ] unit-test
  12
  13 [ t ] [ (( a b -- c )) (( ... a b -- ... c )) effect<= ] unit-test
  14 [ t ] [ (( b -- )) (( ... a b -- ... c )) effect<= ] unit-test
  15 [ f ] [ (( ... a b -- ... c )) (( a b -- c )) effect<= ] unit-test
  16 [ f ] [ (( ... b -- ... )) (( a b -- c )) effect<= ] unit-test
  17 [ f ] [ (( a b -- c )) (( ... a b -- c )) effect<= ] unit-test
  18 [ f ] [ (( a b -- c )) (( ..x a b -- ..y c )) effect<= ] unit-test
  19
  20 [ "(( object -- object ))" ] [ { f } { f } <effect> unparse ] unit-test
  21 [ "(( a b -- c d ))" ] [ { "a" "b" } { "c" "d" } <effect> unparse ] unit-test
  22 [ "(( -- c d ))" ] [ { } { "c" "d" } <effect> unparse ] unit-test
  23 [ "(( a b -- ))" ] [ { "a" "b" } { } <effect> unparse ] unit-test
  24 [ "(( -- ))" ] [ { } { } <effect> unparse ] unit-test
  25 [ "(( a b -- c ))" ] [ (( a b -- c )) unparse ] unit-test
  26
  27 [ { "x" "y" } ] [ { "y" "x" } (( a b -- b a )) shuffle ] unit-test
  28 [ { "y" "x" "y" } ] [ { "y" "x" } (( a b -- a b a )) shuffle ] unit-test
  29 [ { } ] [ { "y" "x" } (( a b -- )) shuffle ] unit-test
  30
  31 [ t ] [ (( -- )) (( -- )) compose-effects (( -- )) effect= ] unit-test
  32 [ t ] [ (( -- * )) (( -- )) compose-effects (( -- * )) effect= ] unit-test
  33 [ t ] [ (( -- )) (( -- * )) compose-effects (( -- * )) effect= ] unit-test
  34
  35 [ { object object } ] [ (( a b -- )) effect-in-types ] unit-test
  36 [ { object sequence } ] [ (( a b: sequence -- )) effect-in-types ] unit-test
  37
  38 [ f   ] [ (( a b c -- d )) in-var>> ] unit-test
  39 [ f   ] [ (( -- d )) in-var>> ] unit-test
  40 [ "a" ] [ (( ..a b c -- d )) in-var>> ] unit-test
  41 [ { "b" "c" } ] [ (( ..a b c -- d )) in>> ] unit-test
  42
  43 [ f   ] [ (( ..a b c -- e )) out-var>> ] unit-test
  44 [ "d" ] [ (( ..a b c -- ..d e )) out-var>> ] unit-test
  45 [ { "e" } ] [ (( ..a b c -- ..d e )) out>> ] unit-test
  46
  47 [ "(( a ..b c -- d ))" eval( -- effect ) ]
  48 [ error>> invalid-row-variable? ] must-fail-with
  49
  50 [ "(( ..a: integer b c -- d ))" eval( -- effect ) ]
  51 [ error>> row-variable-can't-have-type? ] must-fail-with