[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bugs found in MCL 2.0b1p2
- To: firstname.lastname@example.org (George Williams)
- Subject: Re: Bugs found in MCL 2.0b1p2
- From: meehan@Pa.dec.com (Jim Meehan)
- Date: Mon, 3 Jun 91 13:16:56 PDT
- Cc: email@example.com, firstname.lastname@example.org
- In-reply-to: Message of Mon, 3 Jun 91 14:05:01 CDT from email@example.com (George Williams) <9106031905.AA22483@hsvaic.boeing.com>
... In addition, I think I've found a bug which exhibits itself
in the following manner:
- There is a constant definition of the following form:
(defconstant *xxx* '(nil))
- This constant is inserted into list structures, and used as a tag
to indicate that the data following it has certain characteristics.
(after some processing) while traversing one of the list structures
into which this value was inserted, the "(nil)" part of the list
structure fails to be EQ to the (defined) constant (identifier).
I believe you're assuming a closer connection between defconstant and
eq than the language actually defines. (defconstant *xxx* '(nil))
indicates that the BINDING of the value '(nil) to the variable *xxx*
will not change, e.g., the value is a cons. Inserting a constant into
a list doesn't imply that you can match it later with eq.
(defconstant *xxx* '*xxx*) will "work" because interned symbols are
guaranteed to be EQ, at least until there's some other reference to
For "anonymous" marking-values that can't collide with any other values,
(defvar *xxx* (gensym))
(defvar *xxx* (cons nil nil))
Note: defvar and not defconstant. What's important is that there's
a unique VALUE being used. The constancy of the BINDING is irrelevant.
Footnote: You say that eq failed "after some processing". I'd be
very surprised to hear that it succeeded at one time and failed later
on. If that actually happened, it does indeed sound like a bug.