rpython-wtf

[translation:info] Error:
[translation:info]    File "/home/drake/rpy/pypy/rpython/translator/goal/translate.py", line 318, in main
[translation:info]     drv.proceed(goals)
[translation:info]    File "/home/drake/rpy/pypy/rpython/translator/driver.py", line 534, in proceed
[translation:info]     return self._execute(goals, task_skip = self._maybe_skip())
[translation:info]    File "/home/drake/rpy/pypy/rpython/translator/tool/taskengine.py", line 114, in _execute
[translation:info]     res = self._do(goal, taskcallable, *args, **kwds)
[translation:info]    File "/home/drake/rpy/pypy/rpython/translator/driver.py", line 283, in _do
[translation:info]     res = func()
[translation:info]    File "/home/drake/rpy/pypy/rpython/translator/driver.py", line 320, in task_annotate
[translation:info]     s = annotator.build_types(self.entry_point, self.inputtypes)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 91, in build_types
[translation:info]     return self.build_graph_types(flowgraph, inputcells, complete_now=complete_now)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 145, in build_graph_types
[translation:info]     self.complete()
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 199, in complete
[translation:info]     self.complete_pending_blocks()
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 194, in complete_pending_blocks
[translation:info]     self.processblock(graph, block)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 344, in processblock
[translation:info]     self.flowin(graph, block)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 408, in flowin
[translation:info]     self.consider_op(block, i)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/annrpython.py", line 602, in consider_op
[translation:info]     resultcell = consider_meth(*argcells)
[translation:info]    File "<41-codegen /home/drake/rpy/pypy/rpython/annotator/annrpython.py:641>", line 3, in consider_op_simple_call
[translation:info]     return arg.simple_call(*args)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/unaryop.py", line 151, in simple_call
[translation:info]     return obj.call(getbookkeeper().build_args("simple_call", args_s))
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/unaryop.py", line 739, in call
[translation:info]     return bookkeeper.pbc_call(pbc, args)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/bookkeeper.py", line 658, in pbc_call
[translation:info]     s_result = unionof(*results)
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/model.py", line 724, in unionof
[translation:info]     s1 = pair(s1, s2).union()
[translation:info]    File "/home/drake/rpy/pypy/rpython/annotator/binaryop.py", line 55, in union
[translation:info]     raise UnionError(obj1, obj2)
[translation:ERROR] UnionError:
[translation:ERROR]
[translation:ERROR] Offending annotations:
[translation:ERROR]   SomeTuple(items=(SomeBool(const=False), SomeBool()))
[translation:ERROR]   SomePBC(can_be_None=True, const=None, subset_of=None)
[translation:ERROR]
[translation:ERROR]
[translation:ERROR] Occurred processing the following simple_call:
[translation:ERROR]   function system_call <befunge98/instructions.py, line 390> returning
[translation:ERROR]
[translation:ERROR]   function left <befunge98/instructions.py, line 110> returning
[translation:ERROR]
[translation:ERROR]   function store_char <befunge98/instructions.py, line 290> returning
[translation:ERROR]
[translation:ERROR]   function right <befunge98/instructions.py, line 116> returning
[translation:ERROR]
[translation:ERROR]   function die <befunge98/instructions.py, line 379> returning
[translation:ERROR]
[translation:ERROR]   function turn_left <befunge98/instructions.py, line 96> returning
[translation:ERROR]
[translation:ERROR]   function turn_right <befunge98/instructions.py, line 103> returning
[translation:ERROR]
[translation:ERROR]   function pop_stack <befunge98/instructions.py, line 165> returning
[translation:ERROR]
[translation:ERROR]   function swap_stack <befunge98/instructions.py, line 156> returning
[translation:ERROR]
[translation:ERROR]   function left_right_if <befunge98/instructions.py, line 130> returning
[translation:ERROR]
[translation:ERROR]   function _not <befunge98/instructions.py, line 69> returning
[translation:ERROR]
[translation:ERROR]   function up <befunge98/instructions.py, line 84> returning
[translation:ERROR]
[translation:ERROR]   function greater_than <befunge98/instructions.py, line 76> returning
[translation:ERROR]
[translation:ERROR]   function get <befunge98/instructions.py, line 203> returning
[translation:ERROR]
[translation:ERROR]   function jump <befunge98/instructions.py, line 246> returning
[translation:ERROR]
[translation:ERROR]   function fetch_char <befunge98/instructions.py, line 282> returning
[translation:ERROR]
[translation:ERROR]   function jump <befunge98/instructions.py, line 238> returning
[translation:ERROR]
[translation:ERROR]   function clear_stack <befunge98/instructions.py, line 259> returning
[translation:ERROR]
[translation:ERROR]   function toggle_push_mode <befunge98/instructions.py, line 142> returning
[translation:ERROR]
[translation:ERROR]   function end_program <befunge98/instructions.py, line 275> returning
[translation:ERROR]
[translation:ERROR]   function put <befunge98/instructions.py, line 193> returning
[translation:ERROR]
[translation:ERROR]   function trampoline <befunge98/instructions.py, line 187> returning
[translation:ERROR]
[translation:ERROR]   function reflect <befunge98/instructions.py, line 384> returning
[translation:ERROR]
[translation:ERROR]   function transfer <befunge98/instructions.py, line 360> returning
[translation:ERROR]
[translation:ERROR]   function space <befunge98/instructions.py, line 401> returning
[translation:ERROR]
[translation:ERROR]   function down <befunge98/instructions.py, line 90> returning
[translation:ERROR]
[translation:ERROR]   function start_block <befunge98/instructions.py, line 313> returning
[translation:ERROR]
[translation:ERROR]   function mod <befunge98/instructions.py, line 51> returning
[translation:ERROR]
[translation:ERROR]   function end_block <befunge98/instructions.py, line 334> returning
[translation:ERROR]
[translation:ERROR]   function up_down_if <befunge98/instructions.py, line 136> returning
[translation:ERROR]
[translation:ERROR]   function plus <befunge98/instructions.py, line 19> returning
[translation:ERROR]
[translation:ERROR]   function multiply <befunge98/instructions.py, line 35> returning
[translation:ERROR]
[translation:ERROR]   function minus <befunge98/instructions.py, line 27> returning
[translation:ERROR]
[translation:ERROR]   function output_ascii <befunge98/instructions.py, line 179> returning
[translation:ERROR]
[translation:ERROR]   function divide <befunge98/instructions.py, line 43> returning
[translation:ERROR]
[translation:ERROR]   function output_integer <befunge98/instructions.py, line 171> returning
[translation:ERROR]
[translation:ERROR]   function skip <befunge98/instructions.py, line 59> returning
[translation:ERROR]
[translation:ERROR]   function duplicate_stack <befunge98/instructions.py, line 148> returning
[translation:ERROR]
[translation:ERROR]   function no_op <befunge98/instructions.py, line 308> returning
[translation:ERROR]
[translation:ERROR]     v1 = simple_call(v0, self_0)
[translation:ERROR]
[translation:ERROR] In <FunctionGraph of (pointer:22)Pointer.tick at 0x2e410d0>:
[translation:ERROR] Happened at file pointer.py line 36
[translation:ERROR]
[translation:ERROR]                     operation = self.instructions[instruction]
[translation:ERROR] ==>                 cont, alive = operation(self)
[translation:ERROR]
[translation:ERROR] Known variable annotations:
[translation:ERROR]  v0 = SomePBC(can_be_None=False, descriptions={...39...}, knowntype=function, subset_of=None)
[translation:ERROR]  self_0 = SomeInstance(can_be_None=False, classdef=pointer.Pointer)
[translation:ERROR]
[translation:ERROR] Processing block:
[translation:ERROR]  block@145 is a <class 'rpython.flowspace.flowcontext.SpamBlock'>
[translation:ERROR]  in (pointer:22)Pointer.tick
[translation:ERROR]  containing the following operations:
[translation:ERROR]        v2 = getattr(self_0, ('instructions'))
[translation:ERROR]        v0 = getitem(v2, instruction_0)
[translation:ERROR]        v1 = simple_call(v0, self_0)
[translation:ERROR]        v3 = len(v1)
[translation:ERROR]        v4 = eq(v3, (2))
[translation:ERROR]        v5 = bool(v4)
[translation:ERROR]  --end--