concat (#300)

Author: borkdude

src/speculative/core.cljc

@@ -105,6 +105,11 @@
                :intervening (s/* ::ss/any)
                :args ::ss/seqable))
 
+;; 718
+(s/fdef clojure.core/concat
+  :args (s/* ::ss/seqable)
+  :ret ::ss/seqable)
+
 ;; 783
 (s/fdef clojure.core/=
   :args (s/+ ::ss/any)

src/speculative/impl/syms.cljc

@@ -15,6 +15,7 @@
     clojure.core/assoc-in
     clojure.core/atom
     clojure.core/comp
+    clojure.core/concat
     clojure.core/conj
     clojure.core/cons
     clojure.core/count
@@ -118,6 +119,7 @@
     cljs.core/assoc-in
     cljs.core/atom
     cljs.core/comp
+    cljs.core/concat
     cljs.core/conj
     cljs.core/cons
     cljs.core/count
@@ -241,6 +243,7 @@
     clojure.core/assoc-in
     clojure.core/atom
     clojure.core/comp
+    clojure.core/concat
     clojure.core/conj
     clojure.core/cons
     clojure.core/count
@@ -334,6 +337,7 @@
     cljs.core/assoc-in
     cljs.core/atom
     cljs.core/comp
+    cljs.core/concat
     cljs.core/conj
     cljs.core/cons
     cljs.core/count

test/speculative/core_test.cljc

@@ -207,6 +207,15 @@
             (is (caught? `apply (apply + 1 2 3 4))))
      :cljs nil)) ;; maximum call stack exceeded
 
+;; 718
+(deftest concat-test
+  (is (check-call `concat []))
+  (is (check-call `concat [nil nil nil]))
+  (is (check-call `concat [[1 2 3] [4 5 6]]))
+  (is (check-call `concat ["foo" "bar"]))
+  (check `concat)
+  (with-instrumentation `concat
+    (is (caught? `concat (concat 1 2 3)))))
 
 ;; 783
 (deftest =-test