Fix #316: spec for even? (#317)

Author: borkdude

.circleci/config.yml

@@ -7,7 +7,7 @@ jobs:
   build:
     docker:
       # specify the version you desire here
-      - image: circleci/clojure:lein-2.8.1-node
+      - image: cimg/clojure:1.12.0-openjdk-21.0-node
 
       # Specify service dependencies here if necessary
       # CircleCI maintains a library of pre-built images
@@ -26,26 +26,27 @@ jobs:
       - run:
           name: Install Clojure
           command: |
-            curl -O https://download.clojure.org/install/linux-install-1.10.0.411.sh
-            chmod +x linux-install-1.10.0.411.sh
-            sudo ./linux-install-1.10.0.411.sh
+            curl -L -O https://github.com/clojure/brew-install/releases/latest/download/linux-install.sh
+            chmod +x linux-install.sh
+            sudo ./linux-install.sh
       - run:
           name: Clojure CA Check
           command: |
             git_url='"https://github.com/slipset/clj-ca-checker"'
             sha='"a0ea916eb606c048227f03f2c7d02ef851075f00"'
             clojure -Sdeps "{:deps {clj-ca-checker {:git/url $git_url :sha $sha}}}" \
               -m clj-ca-checker.clj-ca-checker "$CIRCLE_PR_USERNAME"
-      - run:
-          name: Install Planck
-          command: |
-            sudo apt-get install javascriptcoregtk-4.0 libzip4
-            curl -O http://planck-repl.org/releases/2.22.0-debian-9.0/planck
-            curl -O http://planck-repl.org/releases/2.22.0-debian-9.0/plk
-            chmod +x planck
-            chmod +x plk
-            sudo mv planck /usr/bin
-            sudo mv plk /usr/bin
+      # - run:
+      #     name: Install Planck
+      #     command: |
+      #       sudo apt-get update
+      #       sudo apt-get install javascriptcoregtk-4.0-18 libzip4 libicu57
+      #       curl -O -L http://planck-repl.org/releases/2.22.0-debian-9.0/planck
+      #       curl -O -L http://planck-repl.org/releases/2.22.0-debian-9.0/plk
+      #       chmod +x planck
+      #       chmod +x plk
+      #       sudo mv planck /usr/bin
+      #       sudo mv plk /usr/bin
       # Download and cache dependencies
       - restore_cache:
           keys:
@@ -57,7 +58,8 @@ jobs:
       - run: script/clean
       - run: script/test
       - run: COAL_MINE_TIMEOUT=80 script/coal-mine --ret-spec true
-      - run: clojure -A:test:clojuredocs -r 25
+      # - run: clojure -A:test:clojuredocs -r 25
+      # No longer works on newer JVM
 
       - save_cache:
           paths:

script/test

@@ -8,6 +8,8 @@ script/clean
 
 TEST_ENV=clj script/test-runner
 TEST_ENV=cljs CLJS_ENV=node script/test-runner
-TEST_ENV=cljs CLJS_ENV=planck script/test-runner
+
+# TEST_ENV=cljs CLJS_ENV=planck script/test-runner
+# Planck no longer runs on newest Ubuntu?
 
 exit "$err"

src/speculative/core.cljc

@@ -188,6 +188,10 @@
   :args (s/cat :num ::ss/number)
   :ret ::ss/boolean)
 
+(s/fdef clojure.core/even?
+  :args (s/cat :n int?)
+  :ret boolean?)
+
 ;; 1459
 (s/fdef clojure.core/peek
   :args (s/cat :coll (s/nilable ::ss/stack))

test/speculative/core_test.cljc

@@ -346,6 +346,16 @@
   (with-instrumentation `neg?
     (is (caught? `neg? (apply neg? ["1"])))))
 
+;; 1400
+(deftest even?-test
+  (is (true? (check-call `even? [2])))
+  (is (false? (check-call `even? [3])))
+  (is (true? (check-call `even? [0])))
+  (check `even?)
+  (with-instrumentation `even?
+    (is (caught? `even? (even? [])))
+    (is (caught? `even? (even? (range))))))
+
 ;; 1459
 (deftest peek-test
   (is (nil? (check-call `peek [nil])))