15:04 <bbot2> Started: http://buildbot.pypy.org/builders/pypy-c-jit-linux-x86-64/builds/7750 [ronan: force build, hpy-refactor-exceptions]

15:04 <bbot2> Started: http://buildbot.pypy.org/builders/own-linux-x86-64/builds/8756 [ronan: force build, hpy-refactor-exceptions]

16:03 <bbot2> Failure: http://buildbot.pypy.org/builders/own-linux-x86-64/builds/8756 [ronan: force build, hpy-refactor-exceptions]

16:15 <smarr> Hi, the type checker isn't very happy with me today. I'm trying to create a structure where I have boolean, lists, and language objects inside of a list. The type checker throws with UnionErrors at me. So, I thought, ok, I probably need to use erasure as I do for my array storage strategies. Though, I am still not getting it to accept my code. I think one issue is that there's still some confusion in my head around how to use erasure.

16:16 <smarr> Especially the list in list bit seems to be an issue. So, I guess the question is how do I handle that. If I simply erase the type from the list, that's still not compatible with my language objects. Do I need to have a list of erased items to make this work?

16:19 <bbot2> Failure: http://buildbot.pypy.org/builders/pypy-c-jit-linux-x86-64/builds/7750 [ronan: force build, hpy-refactor-exceptions]

16:57 <arigato> smarr: unsure exactly what you're trying to do, but: in the sense of the annotator, there is the type annotation "list of A" for every type annotation "A", and the type annotation "C-or-subclass" for every RPython class C, and a special annotation "erased" that's incompatible with everything else

17:00 <arigato> ah no, "erased" is actually the annotation of llmemory.GCREF, which can also be handled directly by llmemory functions, but it's different from any other non-low-level RPython annotation

17:02 <arigato> usually, you'd erase either a list or an instance of some class, using two different new_erasing_pair(), and then any of the erased stuff have the same annotation and can be stored into the same places

17:03 <arigato> or you'd erase plain RPython ints, which gives something again with the same "erased" annotation