On Thu, Apr 4, 2013 at 12:02 PM, Armin Rigo <ar...@tunes.org> wrote: > Hi Fijal, hi Bengt, > > On Thu, Apr 4, 2013 at 10:50 AM, Bengt Richter <b...@oz.net> wrote: >> PMJI without understanding your context, but if "noone stores null there," >> couldn't you turn the warning around to warn when/if someone *does* >> store a null "there," and disable the current warning? (I'm naively assuming >> all the places that pass W_Root-or-None pass it to/through one/few place/s >> that can be monitored on the way to becoming keys (which I guess never >> happens?)). > > Yes, we could try that. I don't think we ever did. Basically it > would mean crashing early at annotation whenever someone tries to > store a key or value that we know the rtyper would give such a warning > about later on. Then we're left with adding a few "assert x is not > None" in the source code. > > > A bientôt, > > Armin.
Good luck have fun :) it was tried before. it's a mess (and definitely not "a few", unless you add assert in space.setitem which does not solve anything, we can as well just remove the warning) _______________________________________________ pypy-dev mailing list pypy-dev@python.org http://mail.python.org/mailman/listinfo/pypy-dev
