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

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

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