<html><body><div style="color:#000; background-color:#fff; font-family:arial, helvetica, sans-serif;font-size:12pt"><div><span>Take this argument with a grain of salt, I have very little internal dmd knowledge. But...</span></div><div><br><span></span></div><div><span>Isn't deduction of pure/nothrow/safe restricted to templates? Don't templates *require* availability of source?</span></div><div><br><span></span></div><div><span>Just saying...</span></div><div><br><span></span></div><div><span>-Steve<br></span></div><div><br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt;"><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;"><font face="Arial" size="2"><hr size="1"><b><span style="font-weight:bold;">From:</span></b> kenji hara <k.hara.pg@gmail.com><br><b><span style="font-weight:
bold;">To:</span></b> Discuss the internals of DMD <dmd-internals@puremagic.com><br><b><span style="font-weight: bold;">Sent:</span></b> Wednesday, November 16, 2011 5:24 AM<br><b><span style="font-weight: bold;">Subject:</span></b> Re: [dmd-internals] Type mangling for deduced attributes<br></font><br>
2011/11/16 Walter Bright <<a ymailto="mailto:walter@digitalmars.com" href="mailto:walter@digitalmars.com">walter@digitalmars.com</a>>:<br>><br>> On 11/16/2011 12:31 AM, Don Clugston wrote:<br>>><br>>> That's intentional. If it is only *deduced* to be pure/nothrow/safe,<br>>> then external functions, which don't have access to the source, can<br>>> NOT rely on it being pure/nothrow/safe. I think this is the right<br>>> choice.<br>>> Suppose I want to declare a stub function. At the moment, because it's<br>>> just a stub, it isn't impure or unsafe, but I know that when it is<br>>> fully implemented, it will be impure and unsafe, and may throw.<br>>> The deduction should not be giving additional guarantees to external<br>>> code. It should be conservative.<br>><br>> I think Don's reasoning is sound.<br><br>Thanks for your explanations.<br>OK, It is reasonable.<br><br>Because of
it, there is an issue caused by fixing 6902 with my patch.<br>I'll post a pull to fix it.<br><br>kenji Hara<br>_______________________________________________<br>dmd-internals mailing list<br><a ymailto="mailto:dmd-internals@puremagic.com" href="mailto:dmd-internals@puremagic.com">dmd-internals@puremagic.com</a><br>http://lists.puremagic.com/mailman/listinfo/dmd-internals<br><br><br></div></div></blockquote></div></div></body></html>