On Mon, Oct 23, 2023 at 10:36:01PM +0300, Petteri Hintsanen wrote:
> Eli Zaretskii <eliz@gnu.org> writes:

[...]

> > Can you argue why this should be considered a problem for Emacs to
> > solve, and not a cockpit error on the part of the Lisp program that
> > makes such calls?
> 
> No, not really.  Now when I think about it, it is fairly obvious that
> the programmer should realize this when using such low level mechanism
> as Bindat.

OTOH, a maximum length of something might be thought as a (n optional)
part of a type description. Types are predicates.

As could be a set of bounds for a numerical type. Perhaps there's an
extension opportunity for bindat.

Cheers
-- 
t