From: Christophe Rhodes <csr21@cam.ac.uk>
Date: Thu, 17 Jul 2003 15:00:52 +0000 (+0000)
Subject: 0.8.1.38:
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=e869c4f788a2221d057019b1ff7430a10e29c7b0;p=sbcl.git

0.8.1.38:
	Make it slightly easier on the type inferencer: don't even
	threaten to return NIL from a string array reference.
	... use ETYPECASE instead of TYPECASE.
---

diff --git a/src/compiler/generic/vm-tran.lisp b/src/compiler/generic/vm-tran.lisp
index 37fdb87..68935a6 100644
--- a/src/compiler/generic/vm-tran.lisp
+++ b/src/compiler/generic/vm-tran.lisp
@@ -46,7 +46,7 @@
     (if (array-type-p ctype)
 	;; the other transform will kick in, so that's OK
 	(give-up-ir1-transform)
-	`(typecase string
+	`(etypecase string
 	  ((simple-array character (*)) (data-vector-ref string index))
 	  ((simple-array nil (*)) (data-vector-ref string index))))))
 
@@ -95,7 +95,7 @@
     (if (array-type-p ctype)
 	;; the other transform will kick in, so that's OK
 	(give-up-ir1-transform)
-	`(typecase string
+	`(etypecase string
 	  ((simple-array character (*))
 	   (data-vector-set string index new-value))
 	  ((simple-array nil (*))
diff --git a/version.lisp-expr b/version.lisp-expr
index d1a92f9..fa433f2 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.1.37"
+"0.8.1.38"