合并看起来并不喜欢记录

Question

我确信这应该会通过


(ns moonrise
  (:require [clojure.core.typed :refer :all]))

(ann-record X [a :- Number])
(defrecord X [a])

(ann x X)
(def x (merge (X. 3) {:z 4}))


但是它给出了


类型错误 (moonrise:8:8) 多态函数 clojure.core/merge无法应用于以下参数
多态变量
    k
    v

域
    nil *
    (clojure.lang.IPersistentMap k v) (clojure.lang.IPersistentMap k v) *
    (Option (clojure.lang.IPersistentMap k v)) *

参数
    moonrise.X (HMap :mandatory {:z (Value 4)} :complete? true)

范围
    nil
    (clojure.lang.IPersistentMap k v)
    (Option (clojure.lang.IPersistentMap k v))

期望类型
    moonrise.X

在： (clojure.core/merge (new moonrise.X 3) (quote {:z 4}))
在： (def x (clojure.core/merge (new moonrise.X 3) (quote {:z 4})))


类型检查器：发现1个错误

Answer 1

参考： https://clojure.atlassian.net/browse/CTYP-72 (由 alex+import 报告)