Samuele Pedroni <[EMAIL PROTECTED]> writes:
> Michael Hudson wrote:
>> At some point, we're *really* going to want to document some of this
>> stuff! I.e. something approaching a proof of correctness and
>> termination for the annotator. I guess having a correct and/or
>> terminating annotator would be a good start...
>>
>
> yes, but this one change is not only obscure but is also not correct in
> general (I have an example). The check-in comment indeed gives the
> wrong impression. The real criteria, I think, is whether the class
> expanded structurally has changed or not, although this one will help
> narrowing the cases where we really need to care about that.
Well, OK then, let me put it like: being clearer about our assumptions
might help us see when they are silly!
Cheers,
mwh
--
ARTHUR: Yes. It was on display in the bottom of a locked filing
cabinet stuck in a disused lavatory with a sign on the door
saying "Beware of the Leopard".
-- The Hitch-Hikers Guide to the Galaxy, Episode 1
_______________________________________________
[email protected]
http://codespeak.net/mailman/listinfo/pypy-dev
