From 8f89fac6abb122ef4b03e0745a5119305d87388b Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Mon, 13 Jun 2016 18:55:28 +0200 Subject: [PATCH] remove thread kibit --- project.clj | 2 +- src/kibit/rules/misc.clj | 48 ++++++++++++++++++++-------------------- 2 files changed, 25 insertions(+), 25 deletions(-) diff --git a/project.clj b/project.clj index c756e34..1ffc368 100644 --- a/project.clj +++ b/project.clj @@ -1,4 +1,4 @@ -(defproject yogsototh/kibit "0.1.3" +(defproject yogsototh/kibit "0.1.4" :description "There's a function for that!" :url "https://github.com/yogsototh/kibit" :license {:name "Eclipse Public License - v 1.0" diff --git a/src/kibit/rules/misc.clj b/src/kibit/rules/misc.clj index 2f60ef2..72a80c8 100644 --- a/src/kibit/rules/misc.clj +++ b/src/kibit/rules/misc.clj @@ -75,31 +75,31 @@ (logic/== % `(~(symbol (str klass "/" static-method)) ~@args))))]) ;; Threading - (let [form (logic/lvar) - arg (logic/lvar)] - [#(logic/all (logic/== % (list '-> arg form))) - (fn [sbst] - (logic/conde - [(logic/all - (logic/pred form #(or (symbol? %) (keyword? %))) - (logic/== sbst (list form arg)))] - [(logic/all - (logic/pred form seq?) - (logic/project [form] - (logic/== sbst (list* (first form) arg (rest form)))))]))]) + #_(let [form (logic/lvar) + arg (logic/lvar)] + [#(logic/all (logic/== % (list '-> arg form))) + (fn [sbst] + (logic/conde + [(logic/all + (logic/pred form #(or (symbol? %) (keyword? %))) + (logic/== sbst (list form arg)))] + [(logic/all + (logic/pred form seq?) + (logic/project [form] + (logic/== sbst (list* (first form) arg (rest form)))))]))]) - (let [form (logic/lvar) - arg (logic/lvar)] - [#(logic/all (logic/== % (list '->> arg form))) - (fn [sbst] - (logic/conde - [(logic/all - (logic/pred form #(or (symbol? %) (keyword? %))) - (logic/== sbst (list form arg)))] - [(logic/all - (logic/pred form seq?) - (logic/project [form] - (logic/== sbst (concat form (list arg)))))]))]) + #_(let [form (logic/lvar) + arg (logic/lvar)] + [#(logic/all (logic/== % (list '->> arg form))) + (fn [sbst] + (logic/conde + [(logic/all + (logic/pred form #(or (symbol? %) (keyword? %))) + (logic/== sbst (list form arg)))] + [(logic/all + (logic/pred form seq?) + (logic/project [form] + (logic/== sbst (concat form (list arg)))))]))]) ;; Other