yogsototh/kibit
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove false equivalence rules

Browse source
This commit is contained in:
Yann Esposito (Yogsototh) 2016-06-13 19:31:39 +02:00
parent dffec72800
commit b03bbbe11f
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
project.clj
View file

@ -1,4 +1,4 @@
(defproject yogsototh/kibit "0.1.4"
(defproject yogsototh/kibit "0.1.5"
:description "There's a function for that!"
:url "https://github.com/yogsototh/kibit"
:license {:name "Eclipse Public License - v 1.0"

5
src/kibit/rules/collections.clj
View file

@ -14,8 +14,9 @@
[(update-in ?coll ?keys assoc ?val) (assoc-in ?coll ?keys ?val)]
;; empty?
[(not (empty? ?x)) (seq ?x)]
[(when-not (empty? ?x) . ?y) (when (seq ?x) . ?y)]
;; THESE RULES ARE FALSE!!!!!!!!!!
;; [(not (empty? ?x)) (seq ?x)]
;; [(when-not (empty? ?x) . ?y) (when (seq ?x) . ?y)]
;; set
[(into #{} ?coll) (set ?coll)]