Incorrect result from EQUALP with type declarations
Bug #1732225 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
High
|
Unassigned |
Bug Description
(defun f21 (s1 s2)
(let* ((lam
`(lambda (p1 p2)
(funcall (compile nil lam) s1 s2)))
(f21 "b" "b") ==> NIL
(equalp "b" "b") ==> T
Changed in sbcl: | |
status: | New → Triaged |
importance: | Undecided → High |
assignee: | nobody → Stas Boukarev (stassats) |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Error, code should have been
(defun f21 (s1 s2)
( declare (type (member ,s1 nil \l) p1)
(type (member ,s2 #\p -6) p2))
( equalp p1 p2))))
(let* ((lam
`(lambda (p1 p2)
(funcall (compile nil lam) s1 s2)))