Andy Wingo <wi...@pobox.com> skribis: > On Fri 02 Dec 2011 23:17, l...@gnu.org (Ludovic Courtès) writes: > >>> For that reason I defaulted scm_install_gmp_memory_functions to 1. >> >>>> Could you make it SCM_INTERNAL instead of SCM_API? >>> >>> Sure, but you don't want to allow users to set it? >> >> I’d say no, because that will fail gracelessly if it gets set or cleared >> in the middle of a run, won’t it? > > To use it, you have to set it before scm_init_numbers() runs, as that is > the only place it is checked.
OK, it doesn’t hurt to leave it public, then. Thanks, Ludo’.
