November 02, 2014
On Sun, Nov 02, 2014 at 12:49:47PM -0800, Andrei Alexandrescu via Digitalmars-d wrote:
> On 11/1/14 6:25 PM, bearophile wrote:
[...]
> >And D writeln is not verified at compile-time, this is silly for a language that tries to be reliable.
> 
> Wasn't there a pull request that allowed `writef!"%s %s"(1, 2)` in addition to what we have now? Should be easy to integrate.

There's only an enhancement request, nowhere near a PR yet. I did post some proof-of-concept code, but obviously it's nowhere near usable in actual code at the moment.


[...]
On Sun, Nov 02, 2014 at 12:52:30PM -0800, Andrei Alexandrescu via Digitalmars-d wrote:
> On 11/1/14 6:48 PM, H. S. Teoh via Digitalmars-d wrote:
> >While writefln can be improved (Andrei has preapproved my enhancement request to support compile-time format string, for example), there's no way to make such improvements to GCC's format checking short of modifying the compiler itself.
> 
> Oh so it was you :o). Great idea, time to follow with implementation! -- Andrei

I'll see what I can do, but my free time is very limited these days and I'm not sure when I'll get to it.


T

-- 
"A man's wife has more power over him than the state has." -- Ralph Emerson