[Larceny-users] Bug In string input/output ports???

[William D Clinger]

That's a bad one.  It's a bug in the inline code generated
for write-char and put-char.  The one-character bug fix is
in revision 5272.

Thanks for reporting this, Ray.

Will