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

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.