[Python-Dev] file(fileinput.input())

Aahz aahz@pythoncraft.com
Mon, 6 May 2002 10:02:11 -0400

Should file(fileinput.input()) work?  Currently it raises an exception
because fileinput.input() returns neither a string nor a buffer object.

If it should work, would it make sense for file() to look for __file__
on instances?  Or should fileinput.input() return a subclass of the file
object?  Or some other solution I haven't thought of?
Aahz (aahz@pythoncraft.com)           <*>         http://www.pythoncraft.com/

This is Python.  We don't care much about theory, except where it intersects 
with useful practice.