Post #1500288
2026-04-10 23:55 UTC
But I need to look at how to do that as a drop-in for malloc. I want to integrate it with Gnulib is why.
I have done this sort of thing before. Though I remember when I integrated Boehm GC with GMP and MPFR for ats2-xprelude, it was because GMP and MPFR provided hooks, so that doesn’t count. (Libguile does the same thing with GMP and MPFR.)
Replies (1)
-
@chemoelectric@masto.ai 2026-04-10 23:57
(Hongwei Xi did GMP support in ATS2 using linear types to manage the malloc-free. This is very limiting. It doesn’t let you use GMP and MPFR types in ordinary numeric template instances. This is part of what makes ats2-xprelude so much more powerful than the plain prelude.)