]> gitweb.factorcode.org Git - factor.git/blob - core/inference/state/state-tests.factor
Fixing everything for mandatory stack effects
[factor.git] / core / inference / state / state-tests.factor
1 IN: inference.state.tests
2 USING: tools.test inference.state words kernel namespaces
3 definitions ;
4
5 : computing-dependencies ( quot -- dependencies )
6     H{ } clone [ dependencies rot with-variable ] keep ;
7     inline
8
9 SYMBOL: a
10 SYMBOL: b
11
12 [ ] [ a +called+ depends-on ] unit-test
13
14 [ H{ { a +called+ } } ] [
15     [ a +called+ depends-on ] computing-dependencies
16 ] unit-test
17
18 [ H{ { a +called+ } { b +inlined+ } } ] [
19     [
20         a +called+ depends-on b +inlined+ depends-on
21     ] computing-dependencies
22 ] unit-test
23
24 [ H{ { a +inlined+ } { b +inlined+ } } ] [
25     [
26         a +inlined+ depends-on
27         a +called+ depends-on
28         b +inlined+ depends-on
29     ] computing-dependencies
30 ] unit-test