[pypy-dev] Re: [pypy-svn] r9590 - in pypy/dist/pypy: annotation annotation/test translator/test

Michael Hudson 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 mailing list