Universal Function Attribute Inference

Atila Neves atila.neves at gmail.com
Thu May 30 18:37:27 UTC 2024


On Wednesday, 20 March 2024 at 23:59:09 UTC, Paul Backus wrote:
> On Monday, 18 March 2024 at 10:30:28 UTC, Richard (Rikki) 
> Andrew Cattermole wrote:
>> I am assuming that you generate .di files every time and use 
>> that for importing, not the .d files.
>
> Yes, this is one possible mitigation.
>
> The main downside of this is that .di files don't include 
> function bodies, so you lose access to cross-module CTFE. 
> Although I guess we could add a compiler switch to include 
> function bodies in .di files.

The other problem is inlining. It's what's kept me from always 
using .di files aided by the build system. I've thought of only 
doing that for debug builds though, since as I've stated multiple 
times producing a final binary is boring and all I really care 
about is running my tests as fast as possible.


More information about the dip.ideas mailing list