[racket-dev] props script

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Jul 20 23:19:30 EDT 2012

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.


Posted on the dev mailing list.