X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Freader.pure.lisp;h=7eddc5d9f91c980716a5237398cdb37a6bdc82fd;hb=3a8bfcb01abe4d8eeb9ef1343d623dbbf57c19d9;hp=77ba4981a4e2efa1c8571ae7adca2e7e6369298f;hpb=bff8455d98c50672cdc29abcf1809b8823f5f117;p=sbcl.git

diff --git a/tests/reader.pure.lisp b/tests/reader.pure.lisp
index 77ba498..7eddc5d 100644
--- a/tests/reader.pure.lisp
+++ b/tests/reader.pure.lisp
@@ -74,3 +74,12 @@
   (assert (= (parse-integer "12") 12))
   (assert (= (parse-integer "   12   ") 12))
   (assert (= (parse-integer "   12asdb" :junk-allowed t) 12)))
+
+;;; #A notation enforces that once one 0 dimension has been found, all
+;;; subsequent ones are also 0.  
+(assert (equal (array-dimensions (read-from-string "#3A()"))
+	       '(0 0 0)))
+(assert (equal (array-dimensions (read-from-string "#3A(())"))
+	       '(1 0 0)))
+(assert (equal (array-dimensions (read-from-string "#3A((() ()))"))
+	       '(1 2 0)))