[bug #60950] COND-EXPAND failing on unknown features inside AND

[Arthur A. Gleckler]

URL:
  <https://savannah.gnu.org/bugs/?60950>

                 Summary: COND-EXPAND failing on unknown features inside AND
                 Project: MIT/GNU Scheme
            Submitted by: aag
            Submitted on: Tue 20 Jul 2021 05:01:20 PM PDT
                Category: runtime
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Incorrect behavior
                  Status: None
                 Privacy: Public
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                Keywords: 

    _______________________________________________________

Details:

This should return *no*:

  *(cond-expand ((and no-such-feature) 'yes) (else 'no))*

Instead, it returns *yes*.

I tried to debug the problem.  I discovered that reevaluating the definition
of *evaluate-feature-requirement* inside package *(runtime mit-macros)* causes
the original expression to produce *no*, the correct answer.

I haven't been able to figure out why.

Thanks to Lassi Kortela for discovering this bug.  I filed it on my own
because I wanted to include the information I discovered while debugging it.




    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60950>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/