From d5bd5107df35dfef97ffe9975b32f5d70fff01c1 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Mon, 14 Mar 2005 14:07:35 +0000
Subject: [PATCH] Cleaned up misc.576, added misc.578 (typep on (string 1)
 ignores the fill pointer).

---
 ansi-tests/misc.lsp | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp
index aefd3d4b..fc1de626 100644
--- a/ansi-tests/misc.lsp
+++ b/ansi-tests/misc.lsp
@@ -10477,8 +10477,8 @@ Broken at C::WT-MAKE-CLOSURE.
 ;;; The value #C(435422075/240892576 373) is not of type NUMBER.
 
 (deftest misc.576
-  (notnot (complexp (* -7023900320 #C(435422075/240892576 373))))
-  t)
+  (* -7023900320 #C(435422075/240892576 373))
+  #C(-95573789122736375/7527893 -2619914819360))
 
 ;;; The value #C(-555014/122849 -6641556271) is not of type NUMBER.
 
@@ -10487,5 +10487,10 @@ Broken at C::WT-MAKE-CLOSURE.
   #C(217230410502882805764/665706755984253572883257634437
      -319343563321640207257301634954/665706755984253572883257634437))
 
+;;; The value "" is not of type (STRING 1).
 
-
+(deftest misc.578
+  (funcall (compile nil '(lambda (p1) (declare (optimize safety)) (the (string 1) p1)))
+	   (make-array '(1) :element-type 'base-char :initial-element #\x
+		       :fill-pointer 0))
+  "")
-- 
GitLab