[racket] (where-not ...) in Redex

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Aug 29 17:33:09 EDT 2012

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?


Posted on the users mailing list.