basis/math/partial-dispatch/partial-dispatch-tests.factor

   1 IN: math.partial-dispatch.tests
   2 USING: math.partial-dispatch math.private
   3 tools.test math kernel sequences ;
   4
   5 { t } [ \ + integer fixnum math-both-known? ] unit-test
   6 { t } [ \ + bignum fixnum math-both-known? ] unit-test
   7 { t } [ \ + integer bignum math-both-known? ] unit-test
   8 { t } [ \ + float fixnum math-both-known? ] unit-test
   9 { f } [ \ + real fixnum math-both-known? ] unit-test
  10 { f } [ \ + object number math-both-known? ] unit-test
  11 { f } [ \ number= fixnum object math-both-known? ] unit-test
  12 { t } [ \ number= integer fixnum math-both-known? ] unit-test
  13 { f } [ \ >fixnum \ shift derived-ops member-eq? ] unit-test
  14 { f } [ \ >integer \ /i derived-ops member-eq? ] unit-test
  15 { t } [ \ fixnum-shift \ shift derived-ops member-eq? ] unit-test
  16
  17 { { integer fixnum } } [ \ +-integer-fixnum integer-op-input-classes ] unit-test
  18 { { fixnum fixnum } } [ \ fixnum+ integer-op-input-classes ] unit-test
  19 { { fixnum fixnum } } [ \ fixnum+fast integer-op-input-classes ] unit-test
  20 { { integer } } [ \ bitnot integer-op-input-classes ] unit-test
  21
  22 { shift } [ \ fixnum-shift generic-variant ] unit-test
  23 { fixnum-shift-fast } [ \ fixnum-shift no-overflow-variant ] unit-test
  24
  25 { fixnum-shift-fast } [ \ shift modular-variant ] unit-test
  26 { fixnum-bitnot } [ \ bitnot modular-variant ] unit-test
  27 { fixnum+fast } [ \ fixnum+ modular-variant ] unit-test
  28 { fixnum+fast } [ \ fixnum+fast modular-variant ] unit-test
  29
  30 { 3 } [ 1 2 +-integer-integer ] unit-test
  31 { 3 } [ 1 >bignum 2 +-integer-integer ] unit-test
  32 { 3 } [ 1 2 >bignum +-integer-integer ] unit-test
  33 { 3 } [ 1 >bignum 2 >bignum +-integer-integer ] unit-test