string-generator (#\null in string) Shiro Kawai (05 Mar 2024 19:28 UTC)
Re: string-generator (#\null in string) Antero Mejr (05 Mar 2024 20:25 UTC)

Re: string-generator (#\null in string) Antero Mejr 05 Mar 2024 20:25 UTC

Shiro Kawai <xxxxxx@gmail.com> writes:

> Conforming R7RS implementation does not need to support #\null in a string, does
> it?   Requiring string-generator to return "\x00;" may exclude implementations
> that do not.
> (By the way, in the srfi text, a string that consists of a single null character
> is noted as "\0", but that's not portable.)

You're right, implementations may forbid #\null from appearing in
strings (page 46). I'll remove the "\0" string from the string-generator
specification.

However I still want to generate some inputs that will break code that
makes incorrect assumptions. So I think I'll replace "\0" with the
string " " (a single space).