Re: Now this is a nightmare...

[David Kastrup]

Dan Eble <address@hidden> writes:

> On Jul 4, 2018, at 07:29, David Kastrup <address@hidden> wrote:
>> 
>> Having our own ly_is_integer variant map to the Guile-2 version
>> conditionally is simple, and when we do it wrong, there is an obvious
>> missing symbol at link time.  Or stuff works without complaint.
>
> That’s fine, but if it’s going to be a proxy for scm_is_exact_integer
> in the long run, the name ly_is_exact_integer gets my vote.

ly_is_exact_int or even just ly_is_int might be appropriate when also
checking that the range for scm_to_int is kept.  Though the resulting
error messages for exceeding the range could be weird.  That would
require finding a really good description of the type checked by the
predicate.

We currently have "an integer" I think as description.  "an integer
convertible to int" sounds very technical.  "an exact integer in
suitable range" sounds very fuzzy.

-- 
David Kastrup