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 (email@example.com) <*> http://www.pythoncraft.com/
This is Python. We don't care much about theory, except where it intersects
with useful practice.