!122 refine test for + -（liii base）

LiiiLabs · Jan 16, 2025 · 2e76e3d · 2e76e3d
1 parent 49f9a73
commit 2e76e3d
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/GoldfishScheme.tmu b/GoldfishScheme.tmu
@@ -1909,13 +1909,21 @@
     \;
   </scm-chunk>
 
-  <value|r7rs><paragraph|+><index|+>
+  <value|r7rs><paragraph|+ -><index|+>
 
   <\scm-chunk|tests/goldfish/liii/base-test.scm|true|true>
     (check (+ 1 2) =\<gtr\> 3)
 
     (check (+ ) =\<gtr\> 0)
 
+    (check (- 2 1) =\<gtr\> 1)
+
+    \;
+
+    <\scm-chunk|tests/goldfish/liii/base-test.scm|true|false>
+      (check (- #x8000000000000000 1) =\<gtr\> #x7fffffffffffffff)
+    </scm-chunk>
+
     \;
   </scm-chunk>
 

diff --git a/tests/goldfish/liii/base-test.scm b/tests/goldfish/liii/base-test.scm
@@ -408,6 +408,9 @@
 
 (check (+ 1 2) => 3)
 (check (+ ) => 0)
+(check (- 2 1) => 1)
+
+(check (- #x8000000000000000 1) => #x7fffffffffffffff)
 
 (check (+ #x7fffffffffffffff 1) => #x8000000000000000)