jank's math epic (#875)

* Update `dec` tests for jank

* Update `inc` tests for jank

* Update `+'` & `*'` tests for jank

Author: shantanu-sardesai

test/clojure/core_test/dec.cljc

@@ -1,5 +1,6 @@
 (ns clojure.core-test.dec
   (:require [clojure.test :as t :refer [are deftest is testing]]
+            [clojure.core-test.number-range :refer [min-int]]
             [clojure.core-test.portability #?(:cljs :refer-macros :default :refer) [when-var-exists] :as p]))
 
 (when-var-exists dec
@@ -27,6 +28,7 @@
          :cljr (is (p/thrown? (dec Int64/MinValue)))
          :cljs (is (= (dec js/Number.MIN_SAFE_INTEGER) (- js/Number.MIN_SAFE_INTEGER 2)))
          :lpy []  ; Python integers cannot underflow
+         :jank (is (p/thrown? (dec min-int)))
          :default (is false "TODO underflow")))
 
     (testing "dec-nil"

test/clojure/core_test/inc.cljc

@@ -1,5 +1,6 @@
 (ns clojure.core-test.inc
   (:require [clojure.test :as t :refer [are deftest is testing]]
+            [clojure.core-test.number-range :refer [max-int]]
             [clojure.core-test.portability #?(:cljs :refer-macros :default :refer) [when-var-exists] :as p]))
 
 (when-var-exists inc
@@ -28,6 +29,7 @@
          :cljr (is (p/thrown? (inc Int64/MaxValue)))
          :cljs (is (= (inc js/Number.MAX_SAFE_INTEGER) (+ 2 js/Number.MAX_SAFE_INTEGER)))
          :lpy nil  ; Python integers cannot overflow
+         :jank (is (p/thrown? (inc max-int)))
          :default (is false "overflow untested")))
 
     (testing "inc-nil"

test/clojure/core_test/plus_squote.cljc

@@ -1,7 +1,7 @@
 (ns clojure.core-test.plus-squote
   (:require [clojure.test :as t :refer [are deftest is]]
             [clojure.core-test.number-range :as r]
-            [clojure.core-test.portability #?(:cljs :refer-macros :default :refer) [when-var-exists] :as p]))
+            [clojure.core-test.portability #?(:cljs :refer-macros :default :refer) [when-var-exists big-int?] :as p]))
 
 (when-var-exists +'
   (deftest test-+'
@@ -73,15 +73,15 @@
     (is (p/thrown? (+' 1 nil)))
     (is (p/thrown? (+' nil 1)))
 
-    (is (instance? clojure.lang.BigInt (+' 0 1N)))
-    (is (instance? clojure.lang.BigInt (+' 0N 1)))
-    (is (instance? clojure.lang.BigInt (+' 0N 1N)))
-    (is (instance? clojure.lang.BigInt (+' 1N 1)))
-    (is (instance? clojure.lang.BigInt (+' 1 1N)))
-    (is (instance? clojure.lang.BigInt (+' 1N 1N)))
-    (is (instance? clojure.lang.BigInt (+' 1 5N)))
-    (is (instance? clojure.lang.BigInt (+' 1N 5)))
-    (is (instance? clojure.lang.BigInt (+' 1N 5N)))
+    (is (big-int? (+' 0 1N)))
+    (is (big-int? (+' 0N 1)))
+    (is (big-int? (+' 0N 1N)))
+    (is (big-int? (+' 1N 1)))
+    (is (big-int? (+' 1 1N)))
+    (is (big-int? (+' 1N 1N)))
+    (is (big-int? (+' 1 5N)))
+    (is (big-int? (+' 1N 5)))
+    (is (big-int? (+' 1N 5N)))
 
-    (is (instance? clojure.lang.BigInt (+' -1 r/min-int)))
-    (is (instance? clojure.lang.BigInt (+' r/min-int -1)))))
+    (is (big-int? (+' -1 r/min-int)))
+    (is (big-int? (+' r/min-int -1)))))

test/clojure/core_test/portability.cljc

@@ -18,6 +18,7 @@
   ;; return true if the fractional part of the double is zero
   #?(:cljs (integer? n)
      :lpy (integer? n)
+     :jank (cpp/jank.runtime.is_big_integer n)
      :default
      (and (integer? n)
           (not (int? n)))))

test/clojure/core_test/star_squote.cljc

@@ -1,7 +1,7 @@
 (ns clojure.core-test.star-squote
   (:require [clojure.test :as t :refer [are deftest is]]
             [clojure.core-test.number-range :as r]
-            [clojure.core-test.portability #?(:cljs :refer-macros :default :refer) [when-var-exists] :as p]))
+            [clojure.core-test.portability #?(:cljs :refer-macros :default :refer) [when-var-exists big-int?] :as p]))
 
 (when-var-exists *'
   (deftest test-*'
@@ -73,17 +73,17 @@
     (is (p/thrown? (*' 1 nil)))
     (is (p/thrown? (*' nil 1)))
 
-    (is (instance? clojure.lang.BigInt (*' 0 1N)))
-    (is (instance? clojure.lang.BigInt (*' 0N 1)))
-    (is (instance? clojure.lang.BigInt (*' 0N 1N)))
-    (is (instance? clojure.lang.BigInt (*' 1N 1)))
-    (is (instance? clojure.lang.BigInt (*' 1 1N)))
-    (is (instance? clojure.lang.BigInt (*' 1N 1N)))
-    (is (instance? clojure.lang.BigInt (*' 1 5N)))
-    (is (instance? clojure.lang.BigInt (*' 1N 5)))
-    (is (instance? clojure.lang.BigInt (*' 1N 5N)))
+    (is (big-int? (*' 0 1N)))
+    (is (big-int? (*' 0N 1)))
+    (is (big-int? (*' 0N 1N)))
+    (is (big-int? (*' 1N 1)))
+    (is (big-int? (*' 1 1N)))
+    (is (big-int? (*' 1N 1N)))
+    (is (big-int? (*' 1 5N)))
+    (is (big-int? (*' 1N 5)))
+    (is (big-int? (*' 1N 5N)))
 
-    (is (instance? clojure.lang.BigInt (*' -1 r/min-int)))
-    (is (instance? clojure.lang.BigInt (*' r/min-int -1)))
-    (is (instance? clojure.lang.BigInt (*' (long (/ r/min-int 2)) 3)))
-    (is (instance? clojure.lang.BigInt (*' 3 (long (/ r/min-int 2)))))))
+    (is (big-int? (*' -1 r/min-int)))
+    (is (big-int? (*' r/min-int -1)))
+    (is (big-int? (*' (long (/ r/min-int 2)) 3)))
+    (is (big-int? (*' 3 (long (/ r/min-int 2)))))))