Details
-
Type:
Bug
-
Status: Closed
-
Priority:
Major
-
Resolution: Completed
-
Affects versions: 0.3.11, 0.3.10
-
Fix versions: Backlog
-
Components: Clojure Checker
-
Labels:None
-
Environment:
Java 8, Clojure 1.7, OS X 10.10.3
Description
The presence of the function
(defn foo [x y] (pos? (rem x y)))
in a namespace causes an assert error when check-ns is called on it.
Attached is the full output of lein typed check, and the full code for a lein project that demonstrates the bug. This only occurs in 0.3.11 and 0.3.10.
