master: Fix coerce compile-time checking
stassats via Sbcl-commits <[email protected]>
| Newsgroups | gmane.lisp.steel-bank.cvs |
|---|---|
| Message-ID | <[email protected]> |
The branch "master" has been updated in SBCL:
via 594fbed44bc0d0936ae4f98ebe0bbb3b36999c93 (commit)
from e972a1a2b8098cd686db8b8e345af8c040401f0e (commit)
- Log -----------------------------------------------------------------
commit 594fbed44bc0d0936ae4f98ebe0bbb3b36999c93
Author: Stas Boukarev <[email protected]>
Date: Wed Apr 8 06:56:47 2026 +0300
Fix coerce compile-time checking
---
src/compiler/typetran.lisp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/compiler/typetran.lisp b/src/compiler/typetran.lisp
index 7be27d901..4fb8bd9cf 100644
--- a/src/compiler/typetran.lisp
+++ b/src/compiler/typetran.lisp
@@ -1842,11 +1842,11 @@
(fail))
((types-equal-or-intersect value-type to-type))
((csubtypep to-type (specifier-type 'sequence))
- (unless (csubtypep to-type (specifier-type 'sequence))
+ (unless (csubtypep value-type (specifier-type 'sequence))
(fail)))
((eql type-specifier 'character)
(unless (types-equal-or-intersect value-type
- (specifier-type 'string))
+ (specifier-type '(or symbol (string 1))))
(fail)))
((csubtypep to-type (specifier-type 'complex))
(unless (types-equal-or-intersect value-type
-----------------------------------------------------------------------
hooks/post-receive
--
SBCL