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
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users
