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

remove thread kibit

Browse source
This commit is contained in:
Yann Esposito (Yogsototh) 2016-06-13 18:55:28 +02:00
parent 964cec7f4c
commit 8f89fac6ab
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646
2 changed files with 25 additions and 25 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.3" (defproject yogsototh/kibit "0.1.4"
:description "There's a function for that!" :description "There's a function for that!"
:url "https://github.com/yogsototh/kibit" :url "https://github.com/yogsototh/kibit"
:license {:name "Eclipse Public License - v 1.0" :license {:name "Eclipse Public License - v 1.0"

48
src/kibit/rules/misc.clj
View file

@ -75,31 +75,31 @@
(logic/== % `(~(symbol (str klass "/" static-method)) ~@args))))]) (logic/== % `(~(symbol (str klass "/" static-method)) ~@args))))])
;; Threading ;; Threading
(let [form (logic/lvar) #_(let [form (logic/lvar)
arg (logic/lvar)] arg (logic/lvar)]
[#(logic/all (logic/== % (list '-> arg form))) [#(logic/all (logic/== % (list '-> arg form)))
(fn [sbst] (fn [sbst]
(logic/conde (logic/conde
[(logic/all [(logic/all
(logic/pred form #(or (symbol? %) (keyword? %))) (logic/pred form #(or (symbol? %) (keyword? %)))
(logic/== sbst (list form arg)))] (logic/== sbst (list form arg)))]
[(logic/all [(logic/all
(logic/pred form seq?) (logic/pred form seq?)
(logic/project [form] (logic/project [form]
(logic/== sbst (list* (first form) arg (rest form)))))]))]) (logic/== sbst (list* (first form) arg (rest form)))))]))])
(let [form (logic/lvar) #_(let [form (logic/lvar)
arg (logic/lvar)] arg (logic/lvar)]
[#(logic/all (logic/== % (list '->> arg form))) [#(logic/all (logic/== % (list '->> arg form)))
(fn [sbst] (fn [sbst]
(logic/conde (logic/conde
[(logic/all [(logic/all
(logic/pred form #(or (symbol? %) (keyword? %))) (logic/pred form #(or (symbol? %) (keyword? %)))
(logic/== sbst (list form arg)))] (logic/== sbst (list form arg)))]
[(logic/all [(logic/all
(logic/pred form seq?) (logic/pred form seq?)
(logic/project [form] (logic/project [form]
(logic/== sbst (concat form (list arg)))))]))]) (logic/== sbst (concat form (list arg)))))]))])
;; Other ;; Other