Merge pull request #58 from sjl/master

Rule for (= nil x) -> (nil? x)
2012-11-08 23:38:58 -08:00 · 2012-11-08 23:38:58 -08:00 · 453b02afd1
commit 453b02afd1
parent ce4abd2087 760feec11a
2 changed files with 7 additions and 1 deletions
--- a/src/kibit/rules/equality.clj
+++ b/src/kibit/rules/equality.clj
@ -19,5 +19,9 @@

  [(= ?x ?x)  true]
  [(== ?x ?x) true]
-  [(zero? 0)  true])
+  [(zero? 0)  true]
+    
+  ; nil?
+  [(= ?x nil) (nil? ?x)]
+  [(= nil ?x) (nil? ?x)])

--- a/test/kibit/test/equality.clj
+++ b/test/kibit/test/equality.clj
@ -14,6 +14,8 @@
    '(pos? x) '(> x 0)
    '(pos? x) '(<= 1 x)
    '(neg? x) '(< x 0)
+    '(nil? x) '(= nil x)
+    '(nil? x) '(= x nil)
    true '(= x x)
    true '(== x x)
    true '(zero? 0)))