X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fprint.impure.lisp;h=2198269a4029dea2bbba7801da443bdd15123f58;hb=69ef68ba7393e3492c1b4a756d1140f71c2922bc;hp=ab25c65126b67bdc2b6f5d26821f53060c2f4370;hpb=9434bfa27a999690d05a196aae45f54cb05e9526;p=sbcl.git

diff --git a/tests/print.impure.lisp b/tests/print.impure.lisp
index ab25c65..2198269 100644
--- a/tests/print.impure.lisp
+++ b/tests/print.impure.lisp
@@ -274,6 +274,13 @@
   (timeout ()
     (print 'timeout!)))
 
+;;; bug 371: bignum print/read inconsistency
+(defvar *bug-371* -7043009959286724629649270926654940933664689003233793014518979272497911394287216967075767325693021717277238746020477538876750544587281879084559996466844417586093291189295867052594478662802691926547232838591510540917276694295393715934079679531035912244103731582711556740654671309980075069010778644542022/670550434139267031632063192770201289106737062379324644110801846820471752716238484923370056920388400273070254958650831435834503195629325418985020030706879602898158806736813101434594805676212779217311897830937606064579213895527844045511878668289820732425014254579493444623868748969110751636786165152601)
+(let ((*print-base* 5)
+      (*read-base* 5)
+      (*print-radix* nil))
+  (assert (= *bug-371* (read-from-string (prin1-to-string *bug-371*)))))
+
 ;;; a spot of random-testing for rational printing
 (defvar *seed-state* (make-random-state))
 (print *seed-state*) ; so that we can reproduce errors
@@ -315,7 +322,20 @@
 
 ;;; CSR inserted a bug into Burger & Dybvig's float printer.  Caught
 ;;; by Raymond Toy
-(assert (string= (format nil "~F" 1d23) "1.0d+23"))
+(assert (string= (format nil "~E" 1d23) "1.0d+23"))
+
+;;; Fixed-format bugs from CLISP's test suite (reported by Bruno
+;;; Haible, bug 317)
+(assert (string= (format nil "~1F" 10) "10."))
+(assert (string= (format nil "~0F" 10) "10."))
+(assert (string= (format nil "~2F" 1234567.1) "1234567."))
+
+;;; here's one that seems to fail most places.  I think this is right,
+;;; and most of the other answers I've seen are definitely wrong.
+(assert (string= (format nil "~G" 1d23) "100000000000000000000000.    "))
+
+;;; Adam Warner's test case
+(assert (string= (format nil "~@F" 1.23) "+1.23"))
 
 ;;; success
 (quit :unix-status 104)