Re: Understanding CRUNCH embedding

On Wed Dec 17, 2025 at 1:59 PM CET, Diogo wrote:
>
> Understood. In that case, I will change my code to use option (b) and completely
> drop the use of the wrapper libraries. Also, it might indeed be a good idea to
> get rid of the -emit-wrappers flag because soon or later someone like me will
> try to use it :-D
>

Thanks for your understanding. I'm not trying to block you here, and
if you are interested in following this up further, rest assured
that I'll support you, but the wrapper stuff started as a small
convenience feature that opened a can of worms and I'd rather
concentrate on the type inference and optimizer (I fear someone
will come along sooner or later and stress this severely and
then the really hard work will start...)

I might remove the option, I certainly would like to.


cheers,
felix