Re: Updating utf8's Unicode char sets

Hi Wolfgang,

On Thu, 3 Jul 2025 11:57:25 -0400 Wolfgang Corcoran-Mathe via Chicken-users <[email protected]> wrote:

> Hi Pietro, and thanks for your comments.
>
> On 2025-07-02 19:28 +0000, Pietro Cerutti wrote:
>> How about having a refresh script that fetches them and generates the
>> modules? You could then commit the generated modules and solve the
>> compilation problem too.
>
> Fine by me. In fact, this is probably better, since CHICKEN doesn't
> provide an easy way to fetch the files; the current script just uses
> curl(1) or wget(1) via 'system'. This is certainly a likely point of
> failure.
>
> The only issue I can see with manually refreshing the module sources
> is that the egg's maintainer must remember to run the script once in a
> while. I suspect this explains the current state of unicode-char-sets:
> clearly the module was generated with a script, but the script hasn't
> been run since 2007 & is, indeed, no longer included with the egg.
>
> Switching to manual refresh is easy. If people like this idea, I'll
> make the necessary (minor) changes to the script & egg-file patch.

Thanks for the updates to the egg.

I have similar concerns as Pietro's.  If I understand correctly, the
approach you propose would cause reproducibility problems: the same
version of the egg, given the same inputs, might produce different
results, depending on the state of the stuff it fetches.

All the best.
Mario
-- 
https://parenteses.org/mario