[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Now this is a nightmare...
From: |
David Kastrup |
Subject: |
Re: Now this is a nightmare... |
Date: |
Wed, 04 Jul 2018 15:26:01 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
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