Changelog update and small refactor of remove-type-meta

Author: mk

CHANGELOG.md

@@ -40,6 +40,10 @@ Changes can be:
 
 * 💫 Cache expressions that return `nil` in memory
 
+* 🐜 Turn off analyzer pass for validation of `:type` tags, fixes [#488](https://github.com/nextjournal/clerk/issues/488) @craig-latacora
+
+* 🐜 Strip `:type` metadata from forms before printing them to hash, fixes [#489](https://github.com/nextjournal/clerk/issues/489) @craig-latacora
+
 * 🐜 Ensure custom `print-method` supporting unreadable symbols preserves metadata
 
 ## 0.13.842 (2023-03-07)

src/nextjournal/clerk/analyzer.clj

@@ -549,21 +549,20 @@
 #_(dep/immediate-dependencies (:graph (build-graph "src/nextjournal/clerk/analyzer.clj"))  #'nextjournal.clerk.analyzer/long-thing)
 #_(dep/transitive-dependencies (:graph (build-graph "src/nextjournal/clerk/analyzer.clj"))  #'nextjournal.clerk.analyzer/long-thing)
 
-(defn strip-form-meta [form]
-  (clojure.walk/postwalk
-   (fn [v]
-     (if (or (instance? clojure.lang.IObj v)
-             (instance? clojure.lang.IMeta v))
-       (vary-meta v (constantly nil))
-       v))
-   form))
+(defn ^:private remove-type-meta
+  "Walks given `form` removing `:type` from metadata to ensure it can be printed."
+  [form]
+  (walk/postwalk (fn [x] (cond-> x
+                           (contains? (meta x) :type)
+                           (vary-meta dissoc :type)))
+                 form))
 
 (defn hash-codeblock [->hash {:as codeblock :keys [hash form id deps vars]}]
   (when (and (seq deps) (not (ifn? ->hash)))
     (throw (ex-info "`->hash` must be `ifn?`" {:->hash ->hash :codeblock codeblock})))
   (let [hashed-deps (into #{} (map ->hash) deps)]
     (sha1-base58 (binding [*print-length* nil]
-                   (pr-str (set/union (conj hashed-deps (if form (strip-form-meta form) hash))
+                   (pr-str (set/union (conj hashed-deps (if form (remove-type-meta form) hash))
                                       vars))))))
 
 (defn hash