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:  Obsoleted Privacy:  Public
Assigned to:  cph Originator Name: 
Open/Closed:  Closed
Keywords: 
* Mandatory Fields

Add a New Comment Rich Markup
   

Mon 19 Sep 2022 03:18:20 PM UTC, comment #3: 

For me, too.

Arthur A. Gleckler <aag>
Group Member
Mon 19 Sep 2022 12:30:06 AM UTC, comment #2: 

Not sure why, but this seems fixed on HEAD.

Chris Hanson <cph>
Group administrator
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>
Group 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>
Group Member

 

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

Attach Files:
   
   
Comment:
   

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.

     

    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-09-19 cph StatusNone Obsoleted
        Assigned toNone cph
        Open/ClosedOpen Closed
    2021-07-21 aag Carbon-Copy- Added -email is unavailable-

    Back to the top

    Powered by Savane 3.13-758e.
    Corresponding source code