stack-checker.*: init-known-values word not needed

diff --git a/basis/stack-checker/backend/backend-tests.factor b/basis/stack-checker/backend/backend-tests.factor
index 37815462bc4ec5d231fc03e16c7bdc272bb1f327..dfd9c8119f72557da8780a837b34792ae722d411 100644 (file)
--- a/basis/stack-checker/backend/backend-tests.factor
+++ b/basis/stack-checker/backend/backend-tests.factor
@@ -1,6 +1,7 @@
-USING: accessors classes.tuple compiler.tree stack-checker.backend tools.test
-kernel namespaces stack-checker.state stack-checker.values
-stack-checker.visitor sequences assocs ;
+USING: accessors assocs classes.tuple compiler.tree kernel namespaces
+sequences stack-checker.backend stack-checker.recursive-state
+stack-checker.state stack-checker.values stack-checker.visitor
+tools.test ;
 IN: stack-checker.backend.tests
 
 { } [
@@ -32,7 +33,7 @@ IN: stack-checker.backend.tests
     V{ 3 9 8 }
     H{ { 8 input-parameter } { 9 input-parameter } { 3 input-parameter } }
 } [
-    init-known-values
+    H{ } clone known-values set
     V{ } clone stack-visitor set
     V{ 3 9 8 } introduce-values
     stack-visitor get first out-d>>

diff --git a/basis/stack-checker/backend/backend.factor b/basis/stack-checker/backend/backend.factor
index 4e763fa2235fc4b30760d9fe36305e318e3627c6..29bb56e8444b1d4919b5c07d4399702fbfa49e3c 100644 (file)
--- a/basis/stack-checker/backend/backend.factor
+++ b/basis/stack-checker/backend/backend.factor
@@ -151,7 +151,7 @@ M: object apply-object push-literal ;
 : with-infer ( quot -- effect visitor )
     [
         init-inference
-        init-known-values
+        H{ } clone known-values set
         stack-visitor off
         call
         end-infer

diff --git a/basis/stack-checker/state/state-tests.factor b/basis/stack-checker/state/state-tests.factor
index 24dd34bb238422a65c28c1126efd73a0baeff9dc..bba4da1bd72ab5e5cdb0ce494a7c2551723fb99a 100644 (file)
--- a/basis/stack-checker/state/state-tests.factor
+++ b/basis/stack-checker/state/state-tests.factor
@@ -7,7 +7,8 @@ IN: stack-checker.state.tests
     V{ 1 2 3 }
 } [
     0 \ <value> set-global
-    init-inference init-known-values
+    init-inference
+    H{ } clone known-values set
     V{ 1 2 3 } literals set commit-literals
     (meta-d) get
 ] unit-test

diff --git a/basis/stack-checker/values/values-tests.factor b/basis/stack-checker/values/values-tests.factor
index c92ce9d6f9d478125180c2b945e43018fab6349e..1ece7272e183dc7556bb2599c299d8fe689507d5 100644 (file)
--- a/basis/stack-checker/values/values-tests.factor
+++ b/basis/stack-checker/values/values-tests.factor
@@ -1,9 +1,30 @@
-USING: kernel namespaces stack-checker.backend stack-checker.values
-tools.test ;
+USING: accessors kernel namespaces stack-checker.state
+stack-checker.values tools.test ;
 IN: stack-checker.values.tests
 
+TUPLE: foo-tup a b ;
+
+! known
+{ T{ foo-tup f 10 20 } } [
+    H{ } clone known-values set
+    0 \ <value> set-global
+    V{ } clone literals set
+    10 20 foo-tup boa 23 set-known
+    23 known
+] unit-test
+
+! literal
+{ T{ foo-tup f 10 20 } } [
+    H{ } clone known-values set
+    0 \ <value> set-global
+    V{ } clone literals set
+    10 20 foo-tup boa <literal> make-known
+    literal value>>
+] unit-test
+
+! set-known
 { H{ { 3 input-parameter } } } [
-    init-known-values
+    H{ } clone known-values set
     input-parameter 3 set-known
     known-values get
 ] unit-test

diff --git a/basis/stack-checker/values/values.factor b/basis/stack-checker/values/values.factor
index 603dd9fd407a5eaec30c0e5e11835edf5c860321..93b87057facabf9d998119bd5e94c6e0038c2701 100644 (file)
--- a/basis/stack-checker/values/values.factor
+++ b/basis/stack-checker/values/values.factor
@@ -8,9 +8,6 @@ IN: stack-checker.values
 
 SYMBOL: known-values
 
-: init-known-values ( -- )
-    H{ } clone known-values set ;
-
 : known ( value -- known )
     known-values get at ;