rm typed-deps

frenchy64 · frenchy64 · commit 8b345cf0ff3c · 2025-03-09T21:18:43.000-05:00
diff --git a/next-release-changes.md b/next-release-changes.md
@@ -7,3 +7,5 @@
     4. the JVM property can be removed
 - BREAKING: remove `clojure.core.typed/var>`
   - use `clojure.core/requiring-resolve`
+- BREAKING: remove `clojure.core/typed-deps
+  - no longer useful
diff --git a/typed/clj.checker/src/typed/cljc/checker/cs_gen.clj b/typed/clj.checker/src/typed/cljc/checker/cs_gen.clj
@@ -39,9 +39,6 @@
                                         Mu Name NotType Poly PrimitiveArray Protocol RClass Regex Result Satisfies Scope SymbolicClosure TApp
                                         TCError TCResult Top TopFunction TopHSequential TopKwArgsSeq TypeFn TypeOf Unchecked Union Value Wildcard)))
 
-(t/typed-deps typed.cljc.checker.free-ops
-              typed.cljc.checker.promote-demote)
-
 (t/ann ^:no-check typed.clj.checker.subtype/subtype? [r/AnyType r/AnyType t/Any -> Boolean])
 (t/ann ^:no-check clojure.core.typed.current-impl/current-impl [t/Any -> t/Any])
 (t/ann ^:no-check clojure.core.typed.current-impl/checking-clojure? [t/Any -> t/Any])
diff --git a/typed/clj.checker/test/clojure/core/typed/test/core.cljc b/typed/clj.checker/test/clojure/core/typed/test/core.cljc
@@ -1676,9 +1676,6 @@
 (deftest ignore-macro-def-test
   (is-cf (defmacro foobar [])))
 
-(deftest typed-deps-fail-gracefully-test
-  (is-tc-err (clojure.core.typed/typed-deps no.exist.fail)))
-
 (deftest def-expected-test
   (is-cf (do
            (clojure.core.typed/ann foo1 clojure.core.typed/Any)
diff --git a/typed/clj.checker/test/clojure/core/typed/test/core_match.clj b/typed/clj.checker/test/clojure/core/typed/test/core_match.clj
diff --git a/typed/clj.runtime/src/clojure/core/typed.cljc b/typed/clj.runtime/src/clojure/core/typed.cljc
@@ -655,16 +655,6 @@ for checking namespaces, cf for checking individual forms."}
   ((requiring-resolve 'clojure.core.typed.impl/override-method)
    &form methodsym typesyn))
 
-(defmacro typed-deps 
-  "Declare namespaces which should be checked before the current namespace.
-  Accepts any number of symbols. Only has effect via check-ns.
-  
-  eg. (typed-deps clojure.core.typed.holes
-                  myns.types)"
-  [& args]
-  ((requiring-resolve 'clojure.core.typed.impl/typed-deps)
-   &form args))
-
 (defmacro warn-on-unannotated-vars
   "Allow unannotated vars in the current namespace. 
   
diff --git a/typed/clj.runtime/src/clojure/core/typed/impl.cljc b/typed/clj.runtime/src/clojure/core/typed/impl.cljc
@@ -1060,30 +1060,6 @@
      ((requiring-resolve 'override-method*)
       '~(ns-name *ns*) '~methodsym '~typesyn '~&form)))
 
-(core/defn ^:no-doc
-  typed-deps* 
-  "Internal use only. Use typed-deps."
-  [args form]
-  (core/let [opts (-> ((requiring-resolve 'typed.clj.runtime.env/clj-opts))
-                      (with-current-location form))
-             checker ((requiring-resolve 'clojure.core.typed.current-impl/clj-checker))
-             ns->URL (requiring-resolve 'clojure.core.typed.coerce-utils/ns->URL)
-             add-ns-deps (requiring-resolve 'clojure.core.typed.current-impl/add-ns-deps)]
-    (core/doseq [dep args]
-      (when-not (ns->URL dep opts)
-        (int-error (str "Cannot find dependency declared with typed-deps: " dep) opts)))
-    nil))
-
-(core/defn typed-deps 
-  "Declare namespaces which should be checked before the current namespace.
-  Accepts any number of symbols. Only has effect via check-ns.
-  
-  eg. (typed-deps clojure.core.typed.holes
-                  myns.types)"
-  [&form args]
-  `(clojure.core.typed/tc-ignore
-     ((requiring-resolve 'typed-deps*) '~args '~&form)))
-
 (core/defn ^:no-doc
   warn-on-unannotated-vars*
   "Internal use only. Use allow-unannotated-vars"
diff --git a/typed/cljs.checker/test/cljs/core/typed/test/dnolen/utils/reactive.cljs b/typed/cljs.checker/test/cljs/core/typed/test/dnolen/utils/reactive.cljs
@@ -10,7 +10,7 @@
   (:require-macros [typed.clojure :as t]
                    [cljs.core.async.macros :refer [alt!]]
                    [cljs.core.typed.async :refer [chan> go>]]
-                   [cljs.core.typed :refer [defalias typed-deps ann]])
+                   [cljs.core.typed :refer [defalias ann]])
   (:import goog.events.EventType))
 
 (ann ^:no-check atom? (predicate (Atom Nothing Any)))
diff --git a/typed/lib.clojure/src/typed/ann/clojure.cljc b/typed/lib.clojure/src/typed/ann/clojure.cljc
@@ -947,7 +947,6 @@ clojure.core.typed.current-impl/clojurescript t/Any
 clojure.core.typed/ann* [t/Any t/Any t/Any :-> t/Any]
 clojure.core.typed/untyped-var* [t/Any t/Any :-> t/Any]
 clojure.core.typed/declare-names* [t/Any :-> t/Any]
-clojure.core.typed/typed-deps* [t/Any :-> t/Any]
 clojure.core.typed/warn-on-unannotated-vars* [:-> t/Any]
 clojure.core.typed/ann-datatype* [t/Any t/Any t/Any t/Any :-> t/Any]
 clojure.core.typed/ann-protocol* [t/Any t/Any t/Any :-> t/Any]
@@ -959,7 +958,6 @@ clojure.core.typed/non-nil-return* [t/Any t/Any :-> t/Any]
 clojure.core.typed/nilable-param* [t/Any t/Any :-> t/Any]
 clojure.core.typed/override-constructor* [t/Any t/Any :-> t/Any]
 clojure.core.typed/override-method* [t/Any t/Any :-> t/Any]
-clojure.core.typed/typed-deps* [t/Any :-> t/Any]
 clojure.core.typed/load-if-needed [:-> t/Any]
 clojure.core.typed/*collect-on-eval* t/Any
 ])
