[armedbear-devel] READ-LINE inlining fixed, but READ-LINE shouldn't be inlined?

Ticket 89 was about a class verification error which is now fixed, I'm wondering whether we should be inlining calls to Stream.readLine() at all: it seems like this would be incompatible with Gray streams support, after we complete it. Regards, Erik.