[racket] (where-not ...) in Redex
keywords sound wonderful.
On Aug 29, 2012, at 5:33 PM, Robby Findler wrote:
> On Wed, Aug 29, 2012 at 4:14 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>>
>> On Aug 29, 2012, at 5:10 PM, Robby Findler wrote:
>>
>>> Sorry, no. I am saying that someone could write an actual
>>> judgment-form named 'when' or 'unless'. And then they wouldn't be able
>>> to use it in a premise.
>>>
>>> Just like currently if someone defines a judgment-form named 'where'
>>> they cannot use it in a premise.
>>
>>
>> Does this mean you're willing to rule out 'where' but not 'when'
>> and 'unless' which are already keywords in Racket? I am thinking
>> this is an 'odd' almost 'whimsical' ruling. -- Matthias
>
> I don't mean this as the final say. All I want to say is that this is
> an extremely precious namespace and so taking it over with alises to
> existing functionality doesn't seem to meet the bar.
>
> But actually I had another thought: what about using keywords?
>
> Robby
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120829/f3f99886/attachment-0001.p7s>