Re: [PATCH] Fix #1665 by blocking direct calls to externally inlineable procedures

[Peter Bex]

On Wed, Feb 12, 2020 at 06:18:51PM +0200, megane wrote:
> Is there any technical reason we couldn't call external functions
> directly?

In principle, this should be possible:

1) Just mark it "extern" in its own compilation unit
2) With the external inline file, also include a corresponding
   header file (or generate external prototypes from the inline
   declarations in CHICKEN itself)

In practice, I think you'd run into the possibility that the fid
might collide with an fid of a local procedure.

So somehow the gensyms would need to be adjusted so that the fid
is unique.

Also, if you recompile the unit with the procedure, it might suddenly
become non-customizable, or the fid changes.  Then, the call in the
using unit would no longer be valid.

In other words, we have no way to ensure a stable API, let alone ABI.

Cheers,
Peter

signature.asc
Description: PGP signature