Guido van Rossum <guido at python.org> added the comment: So has anyone got an idea on how to fix this without solving the halting problem? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue1838> _______________________________________