X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fprint.impure.lisp;h=e3184bc5af9ed0119d60b7e4e1ce35d7223a9171;hb=b5dc433da5b8bd3b36db88f7ec35cdb03cb64384;hp=8de1bc5f0a05c46952d61a877696297f0ca25c91;hpb=1422f9e5fa1d80247d809440112eb00075440a81;p=sbcl.git

diff --git a/tests/print.impure.lisp b/tests/print.impure.lisp
index 8de1bc5..e3184bc 100644
--- a/tests/print.impure.lisp
+++ b/tests/print.impure.lisp
@@ -112,15 +112,22 @@
 		     (print (make-array '(1 2 0)) s)))))
 	       '(1 2 0)))
 
-(assert (multiple-value-bind (result error)
-	    (ignore-errors (read-from-string
-			    (with-output-to-string (s)
-			      (let ((*print-readably* t))
-				(print (make-array '(1 0 1)) s)))))
-	  ;; it might not be readably-printable
-	  (or (typep error 'print-not-readable)
-	      ;; or else it had better have the same dimensions
-	      (equal (array-dimensions result) '(1 0 1)))))
+(dolist (array (list (make-array '(1 0 1))
+		     (make-array 0 :element-type nil)
+		     (make-array 1 :element-type 'base-char)
+		     (make-array 1 :element-type 'character)))
+  (assert (multiple-value-bind (result error)
+	      (ignore-errors (read-from-string
+			      (with-output-to-string (s)
+				(let ((*print-readably* t))
+				  (print array s)))))
+	    ;; it might not be readably-printable
+	    (or (typep error 'print-not-readable)
+		(and
+		 ;; or else it had better have the same dimensions
+		 (equal (array-dimensions result) (array-dimensions array))
+		 ;; and the same element-type
+		 (equal (array-element-type result) (array-element-type array)))))))
 
 ;;; before 0.8.0.66 it signalled UNBOUND-VARIABLE
 (write #(1 2 3) :pretty nil :readably t)
@@ -168,6 +175,77 @@
       (*print-length* 12))
   (wexercise-0-8-7-interpreted "~@W")
   (wexercise-0-8-7-compiled-with-atsign))
+
+;;; WRITE-TO-STRING was erroneously DEFKNOWNed as FOLDABLE
+;;;
+;;; This bug from PFD
+(defpackage "SCRATCH-WRITE-TO-STRING" (:use))
+(with-standard-io-syntax
+  (let* ((*package* (find-package "SCRATCH-WRITE-TO-STRING"))
+	 (answer (write-to-string 'scratch-write-to-string::x :readably nil)))
+    (assert (string= answer "X"))))
+;;; and a couple from Bruno Haible
+(defun my-pprint-reverse (out list)
+  (write-char #\( out)
+  (when (setq list (reverse list))
+    (loop
+     (write (pop list) :stream out)
+     (when (endp list) (return))
+     (write-char #\Space out)))
+  (write-char #\) out))
+(with-standard-io-syntax
+  (let ((*print-pprint-dispatch* (copy-pprint-dispatch)))
+    (set-pprint-dispatch '(cons (member foo)) 'my-pprint-reverse 0)
+    (let ((answer (write-to-string '(foo bar :boo 1) :pretty t :escape t)))
+      (assert (string= answer "(1 :BOO BAR FOO)")))))
+(defun my-pprint-logical (out list)
+  (pprint-logical-block (out list :prefix "(" :suffix ")")
+    (when list
+      (loop
+       (write-char #\? out)
+       (write (pprint-pop) :stream out)
+       (write-char #\? out)
+       (pprint-exit-if-list-exhausted)
+       (write-char #\Space out)))))
+(with-standard-io-syntax
+  (let ((*print-pprint-dispatch* (copy-pprint-dispatch)))
+    (set-pprint-dispatch '(cons (member bar)) 'my-pprint-logical 0)
+    (let ((answer (write-to-string '(bar foo :boo 1) :pretty t :escape t)))
+      (assert (string= answer "(?BAR? ?FOO? ?:BOO? ?1?)")))))
+
+;;; FORMAT string compile-time checker failure, reported by Thomas
+;;; F. Burdick
+(multiple-value-bind (f w-p f-p)
+    (compile nil '(lambda () (format nil "~{")))
+  (assert (and w-p f-p))
+  (assert (nth-value 1 (ignore-errors (funcall f)))))
+
+;;; floating point print/read consistency
+(let ((x (/ -9.349640046247849d-21 -9.381494249123696d-11)))
+  (let ((y (read-from-string (write-to-string x :readably t))))
+    (assert (eql x y))))
+
+(let ((x1 (float -5496527/100000000000000000))
+      (x2 (float -54965272/1000000000000000000)))
+  (assert (or (equal (multiple-value-list (integer-decode-float x1))
+		     (multiple-value-list (integer-decode-float x2)))
+	      (string/= (prin1-to-string x1) (prin1-to-string x2)))))
+
+;;; readable printing of arrays with *print-radix* t
+(let ((*print-radix* t) 
+      (*print-readably* t)
+      (*print-pretty* nil))
+  (let ((output (with-output-to-string (s)
+		  (write #2a((t t) (nil nil)) :stream s))))
+    (assert (equalp (read-from-string output) #2a((t t) (nil nil))))))
+
+;;; NIL parameters to "interpreted" FORMAT directives
+(assert (string= (format nil "~v%" nil) (string #\Newline)))
+
+;;; PRINC-TO-STRING should bind print-readably
+(let ((*print-readably* t))
+  (assert (string= (princ-to-string #\7)
+		   (write-to-string #\7 :escape nil :readably nil))))
 
 ;;; success
 (quit :unix-status 104)