[Issue 11724] D sends failed template instantiations to object file

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Dec 11 07:44:13 PST 2013


https://d.puremagic.com/issues/show_bug.cgi?id=11724



--- Comment #3 from Kenji Hara <k.hara.pg at gmail.com> 2013-12-11 07:44:07 PST ---
(In reply to comment #2)
> The fix here is to not emit speculative templates, but unfortunately this will
> need some work in dmd.
> 
> 
> void foo()() {}
> void bar()() { foo(); }
> 
> static assert(is(typeof(bar()))); // marks foo!() and bar!() as speculative
> 
> void main()
> {
>     bar(); // unmarks bar!()
>     // foo(); // without this line foo!() is still speculative.
> }
> 
> So we need a way to detect speculativeness depending on another template
> instance.

Related: issue 10920

Calculating complete dependent graph between template instances during
compilation, is the really needed feature in order to kill -allinst switch.

But, I'm still not sure how to do it efficiently...

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list