id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
79	z3.egg eof handling bug	Tony Sidaway	Tony Sidaway	"This refers to revision 16161, z3.egg as of 9 October, 2009.

If an attempt is made to read from a compressed input file port (z3:open-compressed-input-file) after the eof is reached, it throws an error like this:

Error: (z3:read-decoded) can not read encoded data - Invalid or incomplete multibyte or wide character

This is because it is attempting to fetch data that isn't there.

Suggested fix: bind an eof flag with a value of #f in the let* clause inside z3:open-compressed-input-file.  In read-next, set the flag to #t on encountering an end of file condition, and check the flag on each call to read-next prior to attempting to read further characters from the input file, simply returning #!eof if it is set.
"	defect	closed	major		extensions	4.1.x	fixed	z3 egg eof