* remove macro ns not needed

* add CLJS alias

deps.edn

@@ -13,4 +13,7 @@
                          {:git/url "https://github.com/cognitect-labs/test-runner"
                           :sha "f7ef16dc3b8332b0d77bc0274578ad5270fbfedd"}}
             :main-opts ["-m" "cognitect.test-runner"
-                        "-d" "src/test/clojure"]}}}
+                        "-d" "src/test/clojure"]}
+           :cljs
+           {:extra-deps {org.clojure/clojurescript {:mvn/version "1.11.132"}}
+            :main-opts ["-m" "cljs.main" "-re" "node" "-r"]}}}

src/main/clojure/clojure/core/unify.cljc

@@ -9,9 +9,8 @@
 (ns ^{:doc "A unification library for Clojure."
       :author "Michael Fogus"}
   clojure.core.unify
-  #?(:cljs (:require-macros [clojure.core.unify-macros :refer [create-var-unification-fn]]))
+  #?(:cljs (:require-macros [clojure.core.unify :refer [create-var-unification-fn]]))
   (:require [clojure.zip :as zip]
-            #?(:clj [clojure.core.unify-macros :refer [create-var-unification-fn]])
             [clojure.walk :as walk]))
 
 (defn ignore-variable? [sym] (= '_ sym))
@@ -61,17 +60,36 @@
         (recur (zip/next (zip/insert-right z (binds current))))
         :else (recur (zip/next z))))))
 
-(defn occurs-check-error [expr]
-  #?(:clj  (throw (IllegalStateException. (str "Cycle found in the path " expr)))
-     :cljs (throw (js/Error. (str "Cycle found in the path " expr))))  )
-
 (defn- bind-phase
   [binds variable expr]
   (if (or (nil? expr)
           (ignore-variable? variable))
     binds
     (assoc binds variable expr)))
 
+(defn- determine-occursness
+  [want-occurs? variable? v expr binds]
+  (if want-occurs?
+    `(if (occurs? ~variable? ~v ~expr ~binds)
+       #?(:clj  (throw (IllegalStateException. (str "Cycle found in the path " ~expr)))
+          :cljs (throw (js/Error. (str "Cycle found in the path " ~expr))))
+       (bind-phase ~binds ~v ~expr))
+    `(bind-phase ~binds ~v ~expr)))
+
+#?(:clj
+   (defmacro create-var-unification-fn
+     [want-occurs?]
+     (let [varp  (gensym)
+           v     (gensym)
+           expr  (gensym)
+           binds (gensym)]
+       `(fn ~'var-unify
+          [~varp ~v ~expr ~binds]
+          (if-let [vb# (~binds ~v)]
+            (garner-unifiers ~varp vb# ~expr ~binds)
+            (if-let [vexpr# (and (~varp ~expr) (~binds ~expr))]
+              (garner-unifiers ~varp ~v vexpr# ~binds)
+              ~(determine-occursness want-occurs? varp v expr binds)))))))
 
 (def ^{:doc "Unify the variable v with expr.  Uses the bindings supplied and possibly returns an extended bindings map."
        :private true}