[pypy-dev] unable to translate due to isinstance call

[Armin Rigo]

Re-hi,

On Sat, Oct 27, 2012 at 10:30 AM, Armin Rigo <arigo at tunes.org> wrote:
> Hi Wim,
>
> On Fri, Oct 26, 2012 at 8:04 PM,  <wlavrijsen at lbl.gov> wrote:
>>   -> assert s_value.contains(self.bindings[arg])
>>
>> where s_value = SomeBool(knowntypedata={}) and self.bindings[arg] is
>> SomeBool(const=True, knowntypedata={}).
>
> Are you sure about that?  Isn't it the opposite: s_value has the
> 'const' but self.bindings[arg] doesn't?

Indeed, that's how it crashes.  The issue comes from the fact that
"knowntypedata={}" should not be attached to SomeBools, a fact that we
overlooked when refactoring builtin_isinstance().  Fixed by
introducing a cleaner interface in 28ae0f0e0b79.


A bientôt,

Armin.