issue #358: Rename all of the words depends-on-* to add-depends-on*

diff --git a/basis/alien/data/data.factor b/basis/alien/data/data.factor
index 8066c73606ae2b7478516e51b4ec3bf7f6f65431..f52b1a7f25aa3a873c7c93bf77e28bea8d0f6408 100644 (file)
--- a/basis/alien/data/data.factor
+++ b/basis/alien/data/data.factor
@@ -127,7 +127,7 @@ ERROR: local-allocation-error ;
     ;
 
 MACRO: (simple-local-allot) ( c-type -- quot )
-    [ depends-on-c-type ]
+    [ add-depends-on-c-type ]
     [ dup '[ _ heap-size _ c-type-align (local-allot) ] ] bi ;
 
 : [hairy-local-allot] ( c-type initial -- quot )

diff --git a/basis/classes/struct/struct.factor b/basis/classes/struct/struct.factor
index 84e1dacc36239b0b83febe16123ca4c7d1648dec..498350afbfcbc6ff1ac60a17603fb2afcba7e6bc 100644 (file)
--- a/basis/classes/struct/struct.factor
+++ b/basis/classes/struct/struct.factor
@@ -139,11 +139,11 @@ M: struct-bit-slot-spec (writer-quot)
     drop [ >c-ptr ] ;
 
 MACRO: read-struct-slot ( slot -- )
-    dup type>> depends-on-c-type
+    dup type>> add-depends-on-c-type
     (reader-quot) ;
 
 MACRO: write-struct-slot ( slot -- )
-    dup type>> depends-on-c-type
+    dup type>> add-depends-on-c-type
     (writer-quot) ;
 PRIVATE>
 

diff --git a/basis/compiler/tree/cleanup/cleanup.factor b/basis/compiler/tree/cleanup/cleanup.factor
index 07e6f291330da9cc5b34446e4f7fcb36a50f05ef..5cf2a4f46998ee470a4e644ce7fdb70f327eacb9 100644 (file)
--- a/basis/compiler/tree/cleanup/cleanup.factor
+++ b/basis/compiler/tree/cleanup/cleanup.factor
@@ -58,14 +58,14 @@ GENERIC: cleanup* ( node -- node/nodes )
 
 : record-predicate-folding ( #call -- )
     >predicate-folding< pick literal?>>
-    [ [ literal>> ] 2dip depends-on-instance-predicate ]
-    [ [ class>> ] 2dip depends-on-class-predicate ]
+    [ [ literal>> ] 2dip add-depends-on-instance-predicate ]
+    [ [ class>> ] 2dip add-depends-on-class-predicate ]
     if ;
 
 : record-folding ( #call -- )
     dup word>> predicate?
     [ record-predicate-folding ]
-    [ word>> depends-on-definition ]
+    [ word>> add-depends-on-definition ]
     if ;
 
 : cleanup-folding ( #call -- nodes )
@@ -74,15 +74,15 @@ GENERIC: cleanup* ( node -- node/nodes )
 ! Method inlining
 : add-method-dependency ( #call -- )
     dup method>> word? [
-        [ [ class>> ] [ word>> ] bi depends-on-generic ]
-        [ [ class>> ] [ word>> ] [ method>> ] tri depends-on-method ]
+        [ [ class>> ] [ word>> ] bi add-depends-on-generic ]
+        [ [ class>> ] [ word>> ] [ method>> ] tri add-depends-on-method ]
         bi
     ] [ drop ] if ;
 
 : record-inlining ( #call -- )
     dup method>>
     [ add-method-dependency ]
-    [ word>> depends-on-definition ] if ;
+    [ word>> add-depends-on-definition ] if ;
 
 : cleanup-inlining ( #call -- nodes )
     [ record-inlining ] [ body>> cleanup ] bi ;

diff --git a/basis/compiler/tree/dead-code/simple/simple.factor b/basis/compiler/tree/dead-code/simple/simple.factor
index 32a7ef0c428e04085d87aedb72dd25b5180b16e0..89227a53e13de8915ef70cd14c76c74fdec79c64 100644 (file)
--- a/basis/compiler/tree/dead-code/simple/simple.factor
+++ b/basis/compiler/tree/dead-code/simple/simple.factor
@@ -91,7 +91,7 @@ M: #push remove-dead-code*
     ] [ drop f ] if ;
 
 : remove-flushable-call ( #call -- node )
-    [ word>> depends-on-flushable ]
+    [ word>> add-depends-on-flushable ]
     [ in-d>> <#drop> remove-dead-code* ]
     bi ;
 

diff --git a/basis/compiler/tree/finalization/finalization.factor b/basis/compiler/tree/finalization/finalization.factor
index 72ea22422b987b9aba03ce00773ec19a2cfe6254..8930f2adefb1dd50512cd180819cd80956fd0432 100644 (file)
--- a/basis/compiler/tree/finalization/finalization.factor
+++ b/basis/compiler/tree/finalization/finalization.factor
@@ -28,7 +28,7 @@ GENERIC: finalize* ( node -- nodes )
 : splice-final ( quot -- nodes ) splice-quot finalize ;
 
 : splice-predicate ( word -- nodes )
-    [ depends-on-definition ] [ def>> splice-final ] bi ;
+    [ add-depends-on-definition ] [ def>> splice-final ] bi ;
 
 M: #copy finalize* drop f ;
 

diff --git a/basis/compiler/tree/propagation/known-words/known-words.factor b/basis/compiler/tree/propagation/known-words/known-words.factor
index 617bd1ceab422368313bd76889be28e0cb197d6f..147eeec745cc93fa82f7ad15b867d96b3e5ff1b7 100644 (file)
--- a/basis/compiler/tree/propagation/known-words/known-words.factor
+++ b/basis/compiler/tree/propagation/known-words/known-words.factor
@@ -314,7 +314,7 @@ generic-comparison-ops [
     dup literal>> classoid?
     [
         literal>>
-        [ depends-on-class ]
+        [ add-depends-on-class ]
         [ predicate-output-infos ]
         bi
     ] [ 2drop object-info ] if

diff --git a/basis/compiler/tree/propagation/simple/simple.factor b/basis/compiler/tree/propagation/simple/simple.factor
index 504b28b400326874e3d64f5f20b2dc42af32f7f9..c9148e2f185e15afedc0555700e2ffa4f76d6bab 100644 (file)
--- a/basis/compiler/tree/propagation/simple/simple.factor
+++ b/basis/compiler/tree/propagation/simple/simple.factor
@@ -32,26 +32,26 @@ M: #push propagate-before
 : set-value-infos ( infos values -- )
     [ set-value-info ] 2each ;
 
-GENERIC: depends-on-class ( obj -- )
+GENERIC: add-depends-on-class ( obj -- )
 
-M: class depends-on-class
-    depends-on-conditionally ;
+M: class add-depends-on-class
+    add-depends-on-conditionally ;
 
-M: maybe depends-on-class
-    class>> depends-on-class ;
+M: maybe add-depends-on-class
+    class>> add-depends-on-class ;
 
-M: anonymous-union depends-on-class
-    members>> [ depends-on-class ] each ;
+M: anonymous-union add-depends-on-class
+    members>> [ add-depends-on-class ] each ;
 
-M: anonymous-intersection depends-on-class
-    participants>> [ depends-on-class ] each ;
+M: anonymous-intersection add-depends-on-class
+    participants>> [ add-depends-on-class ] each ;
 
 M: #declare propagate-before
     #! We need to force the caller word to recompile when the
     #! classes mentioned in the declaration are redefined, since
     #! now we're making assumptions but their definitions.
     declaration>> [
-        [ depends-on-class ]
+        [ add-depends-on-class ]
         [ <class-info> swap refine-value-info ]
         bi
     ] assoc-each ;
@@ -123,7 +123,7 @@ M: #declare propagate-before
     #! class definition itself.
     [ in-d>> first value-info ]
     [ "predicating" word-prop ] bi*
-    [ nip depends-on-conditionally ]
+    [ nip add-depends-on-conditionally ]
     [ predicate-output-infos 1array ] 2bi ;
 
 : default-output-value-infos ( #call word -- infos )

diff --git a/basis/compiler/tree/propagation/transforms/transforms.factor b/basis/compiler/tree/propagation/transforms/transforms.factor
index 5dc417b8e76672faa0316a8ef396ee03af2d5cdc..5edbc617ff5546af7893f2f5b48b729d941dd47c 100644 (file)
--- a/basis/compiler/tree/propagation/transforms/transforms.factor
+++ b/basis/compiler/tree/propagation/transforms/transforms.factor
@@ -167,7 +167,7 @@ ERROR: bad-partial-eval quot word ;
 : inline-new ( class -- quot/f )
     dup tuple-class? [
         dup tuple-layout
-        [ depends-on-tuple-layout ]
+        [ add-depends-on-tuple-layout ]
         [ drop all-slots [ initial>> literalize ] [ ] map-as ]
         [ nip ]
         2tri
@@ -318,7 +318,7 @@ M\ set intersect [ intersect-quot ] 1 define-partial-eval
 ! We want to constant-fold calls to heap-size, and recompile those
 ! calls when a C type is redefined
 \ heap-size [
-    [ depends-on-c-type ] [ heap-size '[ _ ] ] bi
+    [ add-depends-on-c-type ] [ heap-size '[ _ ] ] bi
 ] 1 define-partial-eval
 
 ! Eliminates a few redundant checks here and there

diff --git a/basis/stack-checker/alien/alien.factor b/basis/stack-checker/alien/alien.factor
index 6303614c3577ce1a4c8bdd552db1c9314dc81a03..7a712e1b9cae4f0b2938d87494721b7d650c6327 100644 (file)
--- a/basis/stack-checker/alien/alien.factor
+++ b/basis/stack-checker/alien/alien.factor
@@ -38,7 +38,7 @@ TUPLE: alien-callback-params < alien-node-params xt ;
     return-prep-quot infer-quot-here ;
 
 : pop-return ( params -- params )
-    pop-literal [ depends-on-c-type ] [ nip >>return ] bi ;
+    pop-literal [ add-depends-on-c-type ] [ nip >>return ] bi ;
 
 : pop-library ( params -- params )
     pop-literal nip >>library ;
@@ -47,7 +47,7 @@ TUPLE: alien-callback-params < alien-node-params xt ;
     pop-literal nip >>function ;
 
 : pop-params ( params -- params )
-    pop-literal [ [ depends-on-c-type ] each ] [ nip >>parameters ] bi ;
+    pop-literal [ [ add-depends-on-c-type ] each ] [ nip >>parameters ] bi ;
 
 : pop-abi ( params -- params )
     pop-literal nip >>abi ;

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

diff --git a/basis/stack-checker/dependencies/dependencies.factor b/basis/stack-checker/dependencies/dependencies.factor
index 4b1dd4cb3f6065120aae26e225c72ef094847efe..ea38ef5478906acf35408a2f51755c0d5acb0cc5 100644 (file)
--- a/basis/stack-checker/dependencies/dependencies.factor
+++ b/basis/stack-checker/dependencies/dependencies.factor
@@ -30,26 +30,26 @@ SYMBOLS: effect-dependency conditional-dependency definition-dependency ;
         ] [ 3drop ] if
     ] if ;
 
-: depends-on-effect ( word -- )
+: add-depends-on-effect ( word -- )
     effect-dependency depends-on ;
 
-: depends-on-conditionally ( word -- )
+: add-depends-on-conditionally ( word -- )
     conditional-dependency depends-on ;
 
-: depends-on-definition ( word -- )
+: add-depends-on-definition ( word -- )
     definition-dependency depends-on ;
 
-GENERIC: depends-on-c-type ( c-type -- )
+GENERIC: add-depends-on-c-type ( c-type -- )
 
-M: void depends-on-c-type drop ;
+M: void add-depends-on-c-type drop ;
 
-M: c-type-word depends-on-c-type depends-on-definition ;
+M: c-type-word add-depends-on-c-type add-depends-on-definition ;
 
-M: array depends-on-c-type
-    [ word? ] filter [ depends-on-definition ] each ;
+M: array add-depends-on-c-type
+    [ word? ] filter [ add-depends-on-definition ] each ;
 
-M: pointer depends-on-c-type
-    to>> depends-on-c-type ;
+M: pointer add-depends-on-c-type
+    to>> add-depends-on-c-type ;
 
 ! Generic words that the current quotation depends on
 SYMBOL: generic-dependencies
@@ -57,7 +57,7 @@ SYMBOL: generic-dependencies
 : ?class-or ( class class/f -- class' )
     [ class-or ] when* ;
 
-: depends-on-generic ( class generic -- )
+: add-depends-on-generic ( class generic -- )
     generic-dependencies get dup
     [ [ ?class-or ] change-at ] [ 3drop ] if ;
 
@@ -73,7 +73,7 @@ GENERIC: satisfied? ( dependency -- ? )
 
 TUPLE: depends-on-class-predicate class1 class2 result ;
 
-: depends-on-class-predicate ( class1 class2 result -- )
+: add-depends-on-class-predicate ( class1 class2 result -- )
     \ depends-on-class-predicate add-conditional-dependency ;
 
 M: depends-on-class-predicate satisfied?
@@ -84,7 +84,7 @@ M: depends-on-class-predicate satisfied?
 
 TUPLE: depends-on-instance-predicate object class result ;
 
-: depends-on-instance-predicate ( object class result -- )
+: add-depends-on-instance-predicate ( object class result -- )
     \ depends-on-instance-predicate add-conditional-dependency ;
 
 M: depends-on-instance-predicate satisfied?
@@ -95,8 +95,8 @@ M: depends-on-instance-predicate satisfied?
 
 TUPLE: depends-on-next-method class generic next-method ;
 
-: depends-on-next-method ( class generic next-method -- )
-    over depends-on-conditionally
+: add-depends-on-next-method ( class generic next-method -- )
+    over add-depends-on-conditionally
     \ depends-on-next-method add-conditional-dependency ;
 
 M: depends-on-next-method satisfied?
@@ -107,8 +107,8 @@ M: depends-on-next-method satisfied?
 
 TUPLE: depends-on-method class generic method ;
 
-: depends-on-method ( class generic method -- )
-    over depends-on-conditionally
+: add-depends-on-method ( class generic method -- )
+    over add-depends-on-conditionally
     \ depends-on-method add-conditional-dependency ;
 
 M: depends-on-method satisfied?
@@ -119,8 +119,8 @@ M: depends-on-method satisfied?
 
 TUPLE: depends-on-tuple-layout class layout ;
 
-: depends-on-tuple-layout ( class layout -- )
-    [ drop depends-on-conditionally ]
+: add-depends-on-tuple-layout ( class layout -- )
+    [ drop add-depends-on-conditionally ]
     [ \ depends-on-tuple-layout add-conditional-dependency ] 2bi ;
 
 M: depends-on-tuple-layout satisfied?
@@ -128,8 +128,8 @@ M: depends-on-tuple-layout satisfied?
 
 TUPLE: depends-on-flushable word ;
 
-: depends-on-flushable ( word -- )
-    [ depends-on-conditionally ]
+: add-depends-on-flushable ( word -- )
+    [ add-depends-on-conditionally ]
     [ \ depends-on-flushable add-conditional-dependency ] bi ;
 
 M: depends-on-flushable satisfied?
@@ -137,8 +137,8 @@ M: depends-on-flushable satisfied?
 
 TUPLE: depends-on-final class ;
 
-: depends-on-final ( word -- )
-    [ depends-on-conditionally ]
+: add-depends-on-final ( word -- )
+    [ add-depends-on-conditionally ]
     [ \ depends-on-final add-conditional-dependency ] bi ;
 
 M: depends-on-final satisfied?

diff --git a/basis/stack-checker/inlining/inlining.factor b/basis/stack-checker/inlining/inlining.factor
index 100201d545358dbcdb7e4769507b794cb5d0aa17..7b0e37c1b19d3fb4a50f1f5ac369e96a313c95f3 100644 (file)
--- a/basis/stack-checker/inlining/inlining.factor
+++ b/basis/stack-checker/inlining/inlining.factor
@@ -147,7 +147,7 @@ M: declared-effect (undeclared-known) known>> (undeclared-known) ;
 
 : inline-word ( word -- )
     commit-literals
-    [ depends-on-definition ]
+    [ add-depends-on-definition ]
     [ declare-input-effects ]
     [
         dup inline-recursive-label [

diff --git a/basis/stack-checker/known-words/known-words.factor b/basis/stack-checker/known-words/known-words.factor
index ae760a7e47dd9d33cda2261a2cc5ed244ead9b4d..143806fee6f90cf7fb5a3d72ec449e8b14c2dd9f 100644 (file)
--- a/basis/stack-checker/known-words/known-words.factor
+++ b/basis/stack-checker/known-words/known-words.factor
@@ -48,7 +48,7 @@ IN: stack-checker.known-words
     ( value -- ) apply-word/effect ;
 
 : non-inline-word ( word -- )
-    dup depends-on-effect
+    dup add-depends-on-effect
     {
         { [ dup "shuffle" word-prop ] [ infer-shuffle-word ] }
         { [ dup "special" word-prop ] [ infer-special ] }

diff --git a/basis/stack-checker/transforms/transforms.factor b/basis/stack-checker/transforms/transforms.factor
index cbdea569f20beee868b3ac4e48177743f316470e..34fee639e100b1d9916b562591ec8230becf3553 100644 (file)
--- a/basis/stack-checker/transforms/transforms.factor
+++ b/basis/stack-checker/transforms/transforms.factor
@@ -127,7 +127,7 @@ IN: stack-checker.transforms
     [ "method-class" word-prop ]
     [ "method-generic" word-prop ] bi
     2dup next-method
-    depends-on-next-method ;
+    add-depends-on-next-method ;
 
 \ (call-next-method) [
     [ add-next-method-dependency ]
@@ -140,7 +140,7 @@ IN: stack-checker.transforms
 \ boa [
     dup tuple-class? [
         dup tuple-layout
-        [ depends-on-tuple-layout ]
+        [ add-depends-on-tuple-layout ]
         [ [ "boa-check" word-prop [ ] or ] dip ] 2bi
         '[ @ _ <tuple-boa> ]
     ] [

diff --git a/basis/typed/typed.factor b/basis/typed/typed.factor
index 4bd692dbfe419cda9519548a8eb0b0f6d6e3f142..f25686f7d8241503a5246af1cd52ccdf1a98d8e8 100644 (file)
--- a/basis/typed/typed.factor
+++ b/basis/typed/typed.factor
@@ -30,14 +30,14 @@ PREDICATE: typed-word < word "typed-word" word-prop >boolean ;
 : typed-stack-effect? ( effect -- ? )
     [ object = ] all? not ;
 
-: depends-on-unboxing ( class -- )
-    [ dup tuple-layout depends-on-tuple-layout ]
-    [ depends-on-final ]
+: add-depends-on-unboxing ( class -- )
+    [ dup tuple-layout add-depends-on-tuple-layout ]
+    [ add-depends-on-final ]
     bi ;
 
 : (unboxer) ( type -- quot )
     dup unboxable-tuple-class? [
-        dup depends-on-unboxing
+        dup add-depends-on-unboxing
         all-slots [
             [ name>> reader-word 1quotation ]
             [ class>> (unboxer) ] bi compose
@@ -57,7 +57,7 @@ PREDICATE: typed-word < word "typed-word" word-prop >boolean ;
 : (unboxed-types) ( type -- types )
     dup unboxable-tuple-class?
     [
-        dup depends-on-unboxing
+        dup add-depends-on-unboxing
         all-slots [ class>> (unboxed-types) ] map concat
     ]
     [ 1array ] if ;
@@ -83,7 +83,7 @@ DEFER: make-boxer
 : boxer ( type -- quot )
     dup unboxable-tuple-class?
     [
-        dup depends-on-unboxing
+        dup add-depends-on-unboxing
         [ all-slots [ class>> ] map make-boxer ]
         [ [ boa ] curry ]
         bi compose