USING: compiler inference math generic parser test ;
IN: temporary

: foo 1 2 ;
: bar foo foo ; compiled
: foo 1 2 3 ;

[ 1 2 3 1 2 3 ] [ bar ] unit-test
[ { 0 3 } ] [ [ foo ] infer ] unit-test

[ ] [
    "IN: temporary : foo ; : bar foo ; : baz foo ; : foo ;" eval
] unit-test