Two days ago, Robby Findler wrote:
> On Fri, Jul 20, 2012 at 9:48 AM, Eli Barzilay <e...@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!
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
