core/effects/effects-tests.factor

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