0.pre8.109

[sbcl.git] / tests / reader.impure.lisp

diff --git a/tests/reader.impure.lisp b/tests/reader.impure.lisp
index 23ccb4c..c3c8f4e 100644 (file)
--- a/tests/reader.impure.lisp
+++ b/tests/reader.impure.lisp
@@ -13,14 +13,14 @@
 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
 ;;;; more information.
 
-(in-package :cl-user)
+(load "assertoid.lisp")
+(use-package "ASSERTOID")
 
 ;;; Bug 30, involving mistakes in binding the read table, made this
 ;;; code fail.
 (defun read-vector (stream char)
+  (declare (ignorable char))
   (coerce (read-delimited-list #\] stream t) 'vector))
-(set-syntax-from-char #\[ #\() ; do I really need this? -- MNA 2001-01-05
-(set-syntax-from-char #\] #\)) ; do I really need this? -- MNA 2001-01-05
 (set-macro-character #\[ #'read-vector nil)
 (set-macro-character #\] (get-macro-character #\)) nil)
 (multiple-value-bind (res pos)
@@ -36,5 +36,35 @@
   (assert (equalp res #(#\x)))
   (assert (= pos 5)))
 
+;;; Bug 51b. (try to throw READER-ERRORs when the reader encounters
+;;; dubious input)
+(assert (raises-error? (read-from-string "1e1000") reader-error))
+(assert (raises-error? (read-from-string "1/0") reader-error))
+
+;;; Bug reported by Antonio Martinez on comp.lang.lisp 2003-02-03 in
+;;; message <b32da960.0302030640.7d6fc610@posting.google.com>: reading
+;;; circular instances of CLOS classes didn't work:
+(defclass box ()
+  ((value :initarg :value :reader value)))
+(defun read-box (stream char)
+  (declare (ignore char))
+  (let ((objects (read-delimited-list #\] stream t)))
+    (unless (= 1 (length objects))
+      (error "Unknown box reader syntax"))
+    (make-instance 'box :value (first objects))))
+(set-macro-character #\[ 'read-box)
+(set-syntax-from-char #\] #\))
+(multiple-value-bind (res pos)
+    (read-from-string "#1=[#1#]")
+  (assert (eq (value res) res))
+  (assert (= pos 8)))
+
+;;; CSR managed to break the #S reader macro in the process of merging
+;;; SB-PCL:CLASS and CL:CLASS -- make sure it works
+(defstruct readable-struct a)
+(assert (eq (readable-struct-a
+            (read-from-string "#S(READABLE-STRUCT :A T)"))
+           t))
+
 ;;; success
 (quit :unix-status 104)