bug-mit-scheme
[Top][All Lists]
Advanced

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

[Bug-mit-scheme] [bug #30791] DECLARE doesn't work in SYNTAX-RULES templ


From: Matt Birkholz
Subject: [Bug-mit-scheme] [bug #30791] DECLARE doesn't work in SYNTAX-RULES templates
Date: Thu, 30 May 2013 06:57:05 +0000
User-agent: Mozilla/5.0 (X11; Ubuntu; Linux i686; rv:21.0) Gecko/20100101 Firefox/21.0

Follow-up Comment #3, bug #30791 (project mit-scheme):

The "bug" is that you think something appears non-hygienic?  I thought
it was a common courtesy not to file "bugs" against a project based on
mere suspicions.  Do you have an example of a non-hygienic usage?

It looks like a lot of work went into map-declaration-identifiers,
which does NOT treat the declaration name as an identifier.  Stripping
syntactic closures from such a name seems no less hygienic than
stripping them from a quoted datum (as in compiler:quote).

Are you seriously suggesting that (declare (fubar arg)) should be a
valid declaration as long as you have

(define-syntax fubar
  (syntax-rules ()
    ((_ identifiers...)
     (ignore identifiers...))))

in scope?  That is a bit extreme even for a wishlist item.


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?30791>

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




reply via email to

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