[pypy-dev] Re: [pypy-svn] r9590 - in pypy/dist/pypy: annotation annotation/test translator/test
mwh at python.net
Thu Mar 3 17:09:03 CET 2005
Samuele Pedroni <pedronis at strakt.com> 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!
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
More information about the Pypy-dev