stack-checker.backend: no need to add extra dependencies on wrappers

This makes it so that if you declare a symbol it won't have an effect
dependency on itself.

diff --git a/basis/stack-checker/backend/backend-tests.factor b/basis/stack-checker/backend/backend-tests.factor
index cf02e82258a7011a99d7a388e64e553a564149ec..8aff2d774b75ece2756cd4009b334679794ddfb3 100644 (file)
--- a/basis/stack-checker/backend/backend-tests.factor
+++ b/basis/stack-checker/backend/backend-tests.factor
@@ -1,5 +1,5 @@
 USING: accessors assocs classes.tuple compiler.tree kernel namespaces
-sequences stack-checker.backend stack-checker.recursive-state
+sequences stack-checker.backend stack-checker.dependencies
 stack-checker.state stack-checker.values stack-checker.visitor
 tools.test ;
 IN: stack-checker.backend.tests
@@ -51,6 +51,24 @@ IN: stack-checker.backend.tests
     stack-visitor get first in-d>>
 ] unit-test
 
+! apply-object
+SYMBOL: sam-sum
+
+{ H{ } } [
+    H{ } clone dependencies set
+    H{ } clone known-values set
+    init-inference
+    [ \ sam-sum ] first apply-object
+    dependencies get
+] unit-test
+
+{ V{ "abc" } } [
+    H{ } clone known-values set
+    init-inference
+    "abc" apply-object
+    literals get
+] unit-test
+
 ! Because node is an identity-tuple
 : node-seqs-eq? ( seq1 seq2 -- ? )
     [ [ tuple-slots ] map concat ] bi@ = ;

diff --git a/basis/stack-checker/backend/backend.factor b/basis/stack-checker/backend/backend.factor
index cbcc4b095b4a7d4f5d31a0fffda828d45bf35056..e3e231e93e4640517ccfb6757bf9e63cb3eb35ce 100644 (file)
--- a/basis/stack-checker/backend/backend.factor
+++ b/basis/stack-checker/backend/backend.factor
@@ -81,10 +81,7 @@ IN: stack-checker.backend
 GENERIC: apply-object ( obj -- )
 
 M: wrapper apply-object
-    wrapped>>
-    [ dup word? [ +effect+ depends-on ] [ drop ] if ]
-    [ push-literal ]
-    bi ;
+    wrapped>> push-literal ;
 
 M: object apply-object push-literal ;