[Bug-kawa] [bug #17229] Hygienic macros permit capture of top-level bindings

[Per Bothner]

Follow-up Comment #1, bug #17229 (project kawa):

"since *the-cache* and *the-cache-has-been-set?* are free identifiers in the
scope of the define-syntax form (i.e., the module that the file defines does
not bind them anywhere), then they should be each be rewritten as some unique
symbol at expansion-time."

It's more complicated than that. If these were just references, without the
define forms, wouldn't you expect *the-cache* to resolve to the *same*
variable in the dynamic scope?  (Of course you'd also get a warning if using
--warn-undefined-variable.)

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=17229>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/