[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: integer-width

From: Eli Zaretskii
Subject: Re: integer-width
Date: Wed, 29 Aug 2018 07:47:11 +0300
User-agent: K-9 Mail for Android

On August 29, 2018 6:44:15 AM GMT+03:00, Stefan Monnier <address@hidden> wrote:
> I see integer-width is set to 65536, and NEWS mentions this var and
> what
> is its effect, but I can't find any documentation for the reason
> behind
> the existence of this variable nor the choice of its default value.

The reason for the existence of this variable is explicitly explained
in the NEWS entry.  I'm not sure I understand how you missed it.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]