(1+, 1-): New tests.
authorKevin Ryde <user42@zip.com.au>
Wed, 13 Apr 2005 23:54:45 +0000 (23:54 +0000)
committerKevin Ryde <user42@zip.com.au>
Wed, 13 Apr 2005 23:54:45 +0000 (23:54 +0000)
test-suite/tests/numbers.test

index 880ffdd..cfb495c 100644 (file)
       (quotient (- n d -1) d)  ;; neg/pos
       (quotient n d)))         ;; pos/pos
 
+;;;
+;;; 1+
+;;;
+
+(with-test-prefix "1+"
+
+  (pass-if "documented?"
+    (documented? 1+))
+
+  (pass-if (eqv? 1 (1+ 0)))
+  (pass-if (eqv? 0 (1+ -1)))
+  (pass-if (eqv? 101 (1+ 100)))
+  (pass-if (eqv? -99 (1+ -100))))
+
+;;;
+;;; 1-
+;;;
+
+(with-test-prefix "1-"
+
+  (pass-if "documented?"
+    (documented? 1-))
+
+  (pass-if (eqv? -1 (1- 0)))
+  (pass-if (eqv? 0 (1- 1)))
+  (pass-if (eqv? 99 (1- 100)))
+  (pass-if (eqv? -101 (1- -100))))
+
 ;;;
 ;;; ash
 ;;;