Clojure中case表达式解引用atom为何返回结果不符合预期？

以下代码返回true：

(def a (atom 1))
(case @a 1 true false)

但以下代码返回false：

(def a (atom 1))
(case 1 @a true false)

第二个表达式难道不应该返回true吗？

解答:
@Carcigenicate的解释：case的每个分支匹配值都必须是编译时常量。

@a并非编译时常量，因此该case表达式需替换为if表达式：

(def a (atom 1))
(if (= 1 @a) true false)

内容的提问来源于stack exchange，提问作者Francois