bugMIT/GNU Scheme - Bugs: bug #60950, COND-EXPAND failing on unknown...


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

Submitter:  Arthur A. Gleckler <aag>
Submitted:  Wed 21 Jul 2021 12:01:20 AM UTC
Category:  runtime Severity:  3 - Normal
Priority:  5 - Normal Item Group:  Incorrect behavior
Status:  None Privacy:  Public
Assigned to:  None Originator Name: 
Open/Closed:  Open
* Mandatory Fields

Add a New Comment (Rich Markup)

Comment Type & Canned Response:
       No canned response available


Fri 20 Aug 2021 01:59:47 AM UTC, comment #1: 

Looks like a compiler bug. Using an interpreted version of evaluate-feature-requirement the answer is no.

Chris Hanson <cph>
Project Administrator
Wed 21 Jul 2021 12:01:20 AM UTC, original submission:  

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.

Arthur A. Gleckler <aag>
Project Member


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by cph (Posted a comment)
  • -email is unavailable- added by aag (Submitted the item)
  • -email is unavailable- added by aag

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.





    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-07-21 aag Carbon-Copy- Added -email is unavailable-

    Back to the top

    Powered by Savane 3.9