[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Arthur A. Gleckler
Subject: [bug #60950] COND-EXPAND failing on unknown features inside AND
Date: Tue, 20 Jul 2021 20:01:22 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/91.0.4472.164 Safari/537.36


                 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



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:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]