03652dce5d
The reader now reads the symbolic float values ##Inf, ##-Inf and ##NaN. Added infinite? and NaN? predicates. Fixed intval? to exclude infinity (floor(inf)=inf but inf isn't integer-valued), so float?/double? are true for ##Inf and int?/pos-int?/nat-int?/neg-int? are false for it. This unblocked many number-test files whose forms previously failed to READ (##Inf/##NaN literals), so clojure-test-suite jumped from 2241 to 2539 assertions and pass 1719 -> 1955. Baseline raised to 1900. NaN_qmark now runs. float?/double? on integer-valued doubles (1.0) remain false: Janet represents an integer and an integer-valued double identically, so they're inherently indistinguishable — documented in the README Numbers section. spec: numbers/floats-&-symbolic-values (15 cases). jpm test green. Closes jolt-fy8 (fixable parts; int-vs-float ambiguity is a documented divergence).
84 lines
3.7 KiB
Text
84 lines
3.7 KiB
Text
# Specification: numbers & arithmetic.
|
|
(use ../support/harness)
|
|
|
|
(defspec "numbers / arithmetic"
|
|
["add" "6" "(+ 1 2 3)"]
|
|
["add zero args" "0" "(+)"]
|
|
["subtract" "5" "(- 10 3 2)"]
|
|
["negate" "-5" "(- 5)"]
|
|
["multiply" "24" "(* 2 3 4)"]
|
|
["multiply zero args" "1" "(*)"]
|
|
["divide" "2" "(/ 10 5)"]
|
|
["divide to fraction" "0.5" "(/ 1 2)"]
|
|
["inc" "6" "(inc 5)"]
|
|
["dec" "4" "(dec 5)"]
|
|
["quot" "3" "(quot 10 3)"]
|
|
["rem" "1" "(rem 10 3)"]
|
|
["mod" "2" "(mod -1 3)"]
|
|
["rem negative" "-1" "(rem -1 3)"]
|
|
["max" "9" "(max 3 9 1)"]
|
|
["min" "1" "(min 3 9 1)"]
|
|
["abs" "5" "(abs -5)"]
|
|
["promoting + alias" "3" "(+' 1 2)"]
|
|
["inc' alias" "6" "(inc' 5)"])
|
|
|
|
(defspec "numbers / comparison"
|
|
["less than" "true" "(< 1 2 3)"]
|
|
["less than false" "false" "(< 1 3 2)"]
|
|
["greater than" "true" "(> 3 2 1)"]
|
|
["<=" "true" "(<= 1 1 2)"]
|
|
[">=" "true" "(>= 3 3 2)"]
|
|
["= numbers" "true" "(= 2 2)"]
|
|
["= different" "false" "(= 2 3)"]
|
|
["== numeric" "true" "(== 2 2)"]
|
|
["not=" "true" "(not= 1 2)"]
|
|
["compare less" "-1" "(compare 1 2)"]
|
|
["compare equal" "0" "(compare 1 1)"]
|
|
["compare greater" "1" "(compare 2 1)"])
|
|
|
|
(defspec "numbers / predicates"
|
|
["zero?" "true" "(zero? 0)"]
|
|
["pos?" "true" "(pos? 5)"]
|
|
["neg?" "true" "(neg? -5)"]
|
|
["even?" "true" "(even? 4)"]
|
|
["odd?" "true" "(odd? 3)"]
|
|
["number?" "true" "(number? 5)"]
|
|
["number? false" "false" "(number? :a)"]
|
|
["int?" "true" "(int? 5)"]
|
|
["pos-int?" "true" "(pos-int? 5)"]
|
|
["neg-int?" "true" "(neg-int? -5)"]
|
|
["nat-int? zero" "true" "(nat-int? 0)"]
|
|
["nat-int? neg" "false" "(nat-int? -1)"]
|
|
["ratio? false" "false" "(ratio? 5)"])
|
|
|
|
# Symbolic float values and float/double predicates. NOTE: Janet represents
|
|
# integers and integer-valued doubles identically, so (float? 1.0) is false
|
|
# (1.0 is indistinguishable from 1) — a documented divergence. Fractional and
|
|
# non-finite values ARE recognized as floats.
|
|
(defspec "numbers / floats & symbolic values"
|
|
["read ##Inf" "true" "(= ##Inf (/ 1.0 0.0))"]
|
|
["read ##-Inf" "true" "(< ##-Inf 0)"]
|
|
["##NaN not= itself" "true" "(not (== ##NaN ##NaN))"]
|
|
["float? fractional" "true" "(float? 1.5)"]
|
|
["double? fractional" "true" "(double? 0.25)"]
|
|
["float? integer" "false" "(float? 3)"]
|
|
["float? ##Inf" "true" "(float? ##Inf)"]
|
|
["double? ##NaN" "true" "(double? ##NaN)"]
|
|
["infinite? ##Inf" "true" "(infinite? ##Inf)"]
|
|
["infinite? ##-Inf" "true" "(infinite? ##-Inf)"]
|
|
["infinite? finite" "false" "(infinite? 1.5)"]
|
|
["NaN? ##NaN" "true" "(NaN? ##NaN)"]
|
|
["NaN? number" "false" "(NaN? 1.0)"]
|
|
["int? ##Inf false" "false" "(int? ##Inf)"]
|
|
["pos-int? ##Inf" "false" "(pos-int? ##Inf)"])
|
|
|
|
(defspec "numbers / bit-ops & math"
|
|
["bit-and" "4" "(bit-and 12 6)"]
|
|
["bit-or" "14" "(bit-or 12 6)"]
|
|
["bit-xor" "10" "(bit-xor 12 6)"]
|
|
["bit-shift-left" "8" "(bit-shift-left 1 3)"]
|
|
["bit-shift-right" "2" "(bit-shift-right 8 2)"]
|
|
["bit-set" "8" "(bit-set 0 3)"]
|
|
["bit-clear" "13" "(bit-clear 15 1)"]
|
|
["bit-test true" "true" "(bit-test 4 2)"]
|
|
["bigint 64-bit" "\"9000000000\"" "(str (bigint 9000000000))"])
|