X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fprint.impure.lisp;h=608ce7fc36edb9cb04a985f8ac1e0a7d1eddfbaf;hb=6bbc22725d3bf663726ed9adca544e39316364a6;hp=6a18d728c3d93e481e6dac3048b1f1e038157b30;hpb=01d3afd8254db54a95552d6e4d09f54a9c970449;p=sbcl.git

diff --git a/tests/print.impure.lisp b/tests/print.impure.lisp
index 6a18d72..608ce7f 100644
--- a/tests/print.impure.lisp
+++ b/tests/print.impure.lisp
@@ -412,4 +412,19 @@
 
 (assert (string= (eval '(format nil "~:C" #\a)) "a"))
 (assert (string= (format nil (formatter "~:C") #\a) "a"))
+
+;;; This used to trigger an AVER instead.
+(assert (raises-error? (format t "~>") sb-format:format-error))
+
+;;; readably printing hash-tables, check for circularity
+(let ((x (cons 1 2))
+      (h (make-hash-table))
+      (*print-readably* t)
+      (*print-circle* t)
+      (*read-eval* t))
+  (setf (gethash x h) h)
+  (destructuring-bind (x2 . h2) (read-from-string (write-to-string (cons x h)))
+    (assert (equal x x2))
+    (assert (eq h2 (gethash x2 h2)))))
+
 ;;; success