[racket-dev] props script

On Fri, Jul 20, 2012 at 9:48 AM, Eli Barzilay <eli at barzilay.org> wrote:
> Two hours ago, Robby Findler wrote:
>> Just to clarify: the props script is now useless to as a mechanism
>> for actually setting properties, since the output is always the
>> below, no matter of the arguments.
>
> It was an attempt to make it verify the properties that drdr will
> run.  I switched the strategy that is used for that now.
>
> (As a side note, this changed happened a good while ago -- it confirms
> my guess that most people just edit the file directly...)

Well, I've learned my lesson, certainly.

Robby