[Top][All Lists]

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

Re: Document top-level pseudo-hygiene

From: Ludovic Courtès
Subject: Re: Document top-level pseudo-hygiene
Date: Fri, 07 Feb 2014 00:13:05 +0100
User-agent: Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux)

Hello gentlefolks!

Mark H Weaver <address@hidden> skribis:

> "Andy Wingo" <address@hidden> writes:
>> commit 03dfed840b377a72191b6f125c106fdfd9e90a21
>> Author: Andy Wingo <address@hidden>
>> Date:   Fri Jan 24 12:34:26 2014 +0100
>>     Document top-level pseudo-hygiene
>>     * doc/ref/api-macros.texi (Hygiene and the Top-Level): Add a section
>>       documenting our pseudo-hygienic top-level names.
> As I've said before, I strenuously object to these novel semantics that
> you've invented.  I believe this would be an ugly wart on Guile that we
> would have to support indefinitely, in violation of the standards,
> because its existence would encourage people to write code that depends
> upon it.


>> +For this reason many people prefer to never use identifier-introducing
>> +macros at the top-level, instead making those macros receive the names
>> +for their introduced identifiers as part of their arguments, or to
>> +construct them programmatically and use @code{datum->syntax}.
> Yes, this is exactly what we must teach people to do when an introduced
> toplevel identifier would cross a module boundary.

Sorry to chime in late, but it seems to me that the above commit does
exactly that: it exposes the issue, warns against the use of generated
top-level identifiers, while explaining what happens if you really want
to use them.

So there are the “novel semantics” on one hand for those who want, but
the manual is fair in explaining the pros and cons, no?


reply via email to

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