Re: [gawk-devel] MPFR thoughts

[Andrew J. Schorr]

Hi,

On Sat, May 07, 2022 at 01:45:53PM -0700, Eric Pruitt wrote:
> How often do people post messages on the list praising a particular
> feature? I find MPFR support useful, and I similarly find the "match"
> function useful, but it never occurred to me that use of either feature
> warranted proactive communication.

OK, so it's clear that at least a few people are using the MPFR capability.
On the other hand, it required extensive patches to gawk's internals to
add this feature, and it's been painful to support. So my question for those
people who are using MPFR is: how difficult would it be for you to
use the gawk-mpfr extension library instead? That seems like the cleaner
way for gawk to support MPFR. It's not as easy to use, but it allows us
to simplify core gawk and the extension API.

Regards,
Andy