Thanks, indeed json-tokens is written to accept a character generator.

It is reasonable to add errata to allow json-generator to take a character generator.

Regarding json-generator protocol: The entry of json-generator describes the protocol of the generator what json-generator *returns*, not the generator json-fold etc. takes, correct? I was confused initially that json-fold can take a generator that json-generator returns. Actually, what json-fold takes is a character generator.

The only "protocol" port-or-generator must obey is, if we ever mention it, that json-number-of-character-limit should be handled in that generator.

On Tue, Aug 4, 2020 at 8:37 PM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:

On Tue, Aug 4, 2020 at 11:35 PM Amirouche Boubekki <xxxxxx@gmail.com> wrote:

json-generator passes its arguments to json-tokens which accepts a
port or generator. Indeed there is a mistake in the specification
json-generator should mention port-or-generator as argument.

Thanks for your quick reply. Would you like to send me a pull request?