Note that readline returns '' on EOF, not "EOF" (whatever that may be).
Note that readline returns '' on EOF, not "EOF" (whatever that may be).

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator