[racket-dev] props script

Two days ago, Robby Findler wrote:
> 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.

Sorry, I didn't mean to imply that's it's bad -- in fact, the format
is easy to edit manually, and the assumption that this is done often
is what lead me to add the self-consistency verification code.  It
just happens that this addition indirectly confirmed its own utility.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!