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

p.s. and you really want to say 'when' and 'unless' in the rules I suggested, and they do need proper type setting. 


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/d680082e/attachment.p7s>