kernel tools.test compiler.tree.propagation.info arrays ;
IN: compiler.tree.propagation.info.tests
-[ f ] [ 0.0 -0.0 eql? ] unit-test
+{ f } [ 0.0 -0.0 eql? ] unit-test
-[ t t ] [
+{ t t } [
0 10 [a,b] <interval-info>
5 20 [a,b] <interval-info>
value-info-intersect
bi
] unit-test
-[ float 10.0 t ] [
+{ float 10.0 t } [
10.0 <literal-info>
10.0 <literal-info>
value-info-intersect
[ class>> ] [ >literal< ] bi
] unit-test
-[ null ] [
+{ null } [
10 <literal-info>
10.0 <literal-info>
value-info-intersect
class>>
] unit-test
-[ fixnum 10 t ] [
+{ fixnum 10 t } [
10 <literal-info>
10 <literal-info>
value-info-union
[ class>> ] [ >literal< ] bi
] unit-test
-[ 3.0 t ] [
+{ 3.0 t } [
3 3 [a,b] <interval-info> float <class-info>
value-info-intersect >literal<
] unit-test
-[ 3 t ] [
+{ 3 t } [
2 3 (a,b] <interval-info> fixnum <class-info>
value-info-intersect >literal<
] unit-test
-[ T{ value-info-state f null empty-interval f f } ] [
+{ T{ value-info-state f null empty-interval f f } } [
fixnum -10 0 [a,b] <class/interval-info>
fixnum 19 29 [a,b] <class/interval-info>
value-info-intersect
] unit-test
-[ 3 t ] [
+{ 3 t } [
3 <literal-info>
null-info value-info-union >literal<
] unit-test
-[ ] [ { } value-infos-union drop ] unit-test
+{ } [ { } value-infos-union drop ] unit-test
TUPLE: test-tuple { x read-only } ;
-[ t ] [
+{ t } [
f f 3 <literal-info> 3array test-tuple <tuple-info> dup
object-info value-info-intersect =
] unit-test
-[ t ] [
+{ t } [
null-info 3 <literal-info> value-info<=
] unit-test
-[ t t ] [
+{ t t } [
f <literal-info>
fixnum 0 40 [a,b] <class/interval-info>
value-info-union