Fix positive? and negative? on NaN floating number

Goldfish.tmu

@@ -1285,9 +1285,9 @@
     \;
   </scm-chunk>
 
-  <value|r7rs><paragraph|positive?><index|positive?><scm|(x) =\<gtr\> boolean?>
+  <value|r7rs><paragraph|positive?><index|positive?><scm|((x real?)) =\<gtr\> boolean?>
 
-  判断一个数是否为正数。
+  判断一个实数是否为正数。
 
   <subparagraph|真>
 
@@ -1298,6 +1298,10 @@
 
     (check-true (positive? 1/2))
 
+    (check-true (positive? +inf.0))
+
+    (check-true (positive? 1+0i))
+
     \;
   </scm-chunk>
 
@@ -1312,24 +1316,34 @@
 
     (check-false (positive? -1/2))
 
+    (check-false (positive? -inf.0))
+
+    (check-false (positive? +nan.0))
+
     \;
   </scm-chunk>
 
   <subparagraph|类型错误>
 
   <\scm-chunk|tests/goldfish/liii/base-test.scm|true|true>
+    (check-catch 'wrong-type-arg (positive? 1+1i))
+
     (check-catch 'wrong-type-arg (positive? #\\A))
 
     (check-catch 'wrong-type-arg (positive? #t))
 
-    (check-catch 'wrong-type-arg (positive? #f))
+    (check-catch 'wrong-type-arg (positive? "not-a-number"))
+
+    (check-catch 'wrong-type-arg (positive? 'symbol))
+
+    (check-catch 'wrong-type-arg (positive? '(1 2 3)))
 
     \;
   </scm-chunk>
 
-  <value|r7rs><paragraph|negative?><index|negative?><scm|(x) =\<gtr\> boolean?>
+  <value|r7rs><paragraph|negative?><index|negative?><scm|((x real?)) =\<gtr\> boolean?>
 
-  判断一个数是否为负数。
+  判断一个实数是否为负数。
 
   <subparagraph|真>
 
@@ -1340,6 +1354,10 @@
 
     (check-true (negative? -1/2))
 
+    (check-true (negative? -inf.0))
+
+    (check-true (negative? -1+0i))
+
     \;
   </scm-chunk>
 
@@ -1354,17 +1372,27 @@
 
     (check-false (negative? 1/2))
 
+    (check-false (negative? +inf.0))
+
+    (check-false (negative? -nan.0))
+
     \;
   </scm-chunk>
 
   <subparagraph|类型错误>
 
   <\scm-chunk|tests/goldfish/liii/base-test.scm|true|true>
+    (check-catch 'wrong-type-arg (negative? -1-1i))
+
     (check-catch 'wrong-type-arg (negative? #\\A))
 
     (check-catch 'wrong-type-arg (negative? #t))
 
-    (check-catch 'wrong-type-arg (negative? #f))
+    (check-catch 'wrong-type-arg (negative? "not-a-number"))
+
+    (check-catch 'wrong-type-arg (negative? 'symbol))
+
+    (check-catch 'wrong-type-arg (negative? '(1 2 3)))
 
     \;
   </scm-chunk>

src/goldfish.cpp

@@ -20,3 +20,4 @@ int
 main (int argc, char** argv) {
   return goldfish::repl_for_community_edition (argc, argv);
 }
+

tests/goldfish/liii/base-test.scm

@@ -152,28 +152,42 @@
 (check-true (positive? 1))
 (check-true (positive? 0.1))
 (check-true (positive? 1/2))
+(check-true (positive? +inf.0))
+(check-true (positive? 1+0i))
 
 (check-false (positive? 0))
 (check-false (positive? -1))
 (check-false (positive? -1.1))
 (check-false (positive? -1/2))
+(check-false (positive? -inf.0))
+(check-false (positive? +nan.0))
 
+(check-catch 'wrong-type-arg (positive? 1+1i))
 (check-catch 'wrong-type-arg (positive? #\A))
 (check-catch 'wrong-type-arg (positive? #t))
-(check-catch 'wrong-type-arg (positive? #f))
+(check-catch 'wrong-type-arg (positive? "not-a-number"))
+(check-catch 'wrong-type-arg (positive? 'symbol))
+(check-catch 'wrong-type-arg (positive? '(1 2 3)))
 
 (check-true (negative? -1))
 (check-true (negative? -0.1))
 (check-true (negative? -1/2))
+(check-true (negative? -inf.0))
+(check-true (negative? -1+0i))
 
 (check-false (negative? 0))
 (check-false (negative? 1))
 (check-false (negative? 1.1))
 (check-false (negative? 1/2))
+(check-false (negative? +inf.0))
+(check-false (negative? -nan.0))
 
+(check-catch 'wrong-type-arg (negative? -1-1i))
 (check-catch 'wrong-type-arg (negative? #\A))
 (check-catch 'wrong-type-arg (negative? #t))
-(check-catch 'wrong-type-arg (negative? #f))
+(check-catch 'wrong-type-arg (negative? "not-a-number"))
+(check-catch 'wrong-type-arg (negative? 'symbol))
+(check-catch 'wrong-type-arg (negative? '(1 2 3)))
 
 (check (floor 1.1) => 1.0)
 (check (floor 1) => 1)

xmake/packages/s/s7/port/xmake.lua

@@ -35,7 +35,9 @@ target("libs7") do
     add_includedirs(".", {public = true})
     add_options("gmp")
     if is_plat("windows") then
+        set_optimize("faster")
         set_languages("c11")
+        add_cxxflags("/fp:precise")
     end
     add_packages("gmp")
     if is_mode("debug") then