Le Thu, 3 Nov 2022 14:17:53 +0100,
Marc Nieper-Wißkirchen <xxxxxx@gmail.com> a écrit :

[snip]

> This works if your record types are only defined in the top level of a
> library, and your library is only loaded once.

Page 28 r7rs states:

   Regardless of the number of times that a library is loaded,
   each program or library that imports bindings from a li-
   brary must do so from a single loading of that library, re-
   gardless of the number of import declarations in which it
   appears.

From that I understand that for getting a well defined
non-generative record, library is to be used and that is enough, IMHO.

> > Conversely, you started a thread "Perpetuity of non-generative
> > record type definitions". Between the lines it indicates that being
> > non-generative might be a nightmare to implement.
>
> No, it's not a nightmare to implement them.

Hum!? Well, let say it is more complicated. And for me it does not bring
a clear benefit.

Best regards
José