Le Thu, 3 Nov 2022 14:17:53 +0100, Marc Nieper-Wißkirchen <marc.nie...@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é