Re: [Sbcl-devel] [Sbcl-bugs] Incorrect Type Assertion in REDUCE Function

[Stas Boukarev]

Fixed. Thanks!

On Mon, Oct 2, 2023 at 11:08 AM 1281299809 via Sbcl-bugs <sbcl...@lists.sourceforge.net> wrote:

Dear SBCL Developers,

I have come across a situation where the following code snippet runs without any errors:

(defun wrong-type-assertion-in-reduce ()
  (reduce #'funcall (list #'identity #'identity) :from-end t :initial-value '(a simple list)))

However, during compilation, a warning is raised:

warning:
  The function FUNCALL is called by REDUCE with ((CONS (MEMBER A) CONS) T) but it accepts ((OR
                                                                                            FUNCTION
                                                                                            SYMBOL)
                                                                                           T).

It appears that there might be an oversight in the type assertion process, specifically when handling the :FROM-END T argument.

I appreciate the work you do in maintaining SBCL and your dedication to its ongoing development. If there is any additional information or assistance I can provide to further investigate or address this issue, please let me know.

Best regards,

bohonghuang

---

1281299809 12812...@qq.com

 

_______________________________________________
Sbcl-bugs mailing list
Sbcl...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-bugs