Added missing negative case

2014-06-26 14:33:44 +02:00 · 2014-06-26 14:33:44 +02:00 · f8a67a390d
commit f8a67a390d
parent 318820521a
2 changed files with 2 additions and 0 deletions
--- a/src/kibit/rules/equality.clj
+++ b/src/kibit/rules/equality.clj
@ -15,6 +15,7 @@
  [(> ?x 0)  (pos? ?x)]

  [(< ?x 0) (neg? ?x)]
+  [(> 0 ?x) (neg? ?x)]

  ; nil?
  [(= ?x nil) (nil? ?x)]
--- a/test/kibit/test/equality.clj
+++ b/test/kibit/test/equality.clj
@ -13,6 +13,7 @@
    '(pos? x) '(< 0 x)
    '(pos? x) '(> x 0)
    '(neg? x) '(< x 0)
+    '(neg? x) '(> 0 x)
    '(nil? x) '(= nil x)
    '(nil? x) '(= x nil)))