From a580ebba22360f739a310bfc8f0c8ed42309f58a Mon Sep 17 00:00:00 2001
From: Kevin Ryde <user42@zip.com.au>
Date: Wed, 13 Apr 2005 23:54:45 +0000
Subject: [PATCH] (1+, 1-): New tests.

---
 test-suite/tests/numbers.test | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/test-suite/tests/numbers.test b/test-suite/tests/numbers.test
index 880ffdddf..cfb495c1f 100644
--- a/test-suite/tests/numbers.test
+++ b/test-suite/tests/numbers.test
@@ -71,6 +71,34 @@
       (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
 ;;;