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

[Aahz]

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.