<div dir="ltr">On Wed, Jun 28, 2017 at 10:18 PM, Alan Westbrook <span dir="ltr">&lt;<a href="mailto:alan@rockwoodsoftware.com" target="_blank">alan@rockwoodsoftware.com</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><span class="gmail-"><br><div><blockquote type="cite"><div>On Jun 28, 2017, at 8:02 PM, Xiaodi Wu &lt;<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>&gt; wrote:</div><br class="gmail-m_1278780275325007680Apple-interchange-newline"><div><span style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline">I reject both these notions. Having seen the examples given above, I&#39;m now leaning towards the conclusion that there is nothing in the way of explanation in a string that can usefully elaborate upon the very unambiguous statement that is a force unwrap.</span></div></blockquote></div><br></span><div>That the functionality exists to provide messages with fatal errors is an indication that they do have some utility.</div></div></blockquote><div><br></div><div>Not at all. A message is required for `fatalError` simply to explain _what_ the error is. By contrast, it has already been conceded that there is absolutely no confusion as to _what_ the error is in the case of a failed force-unwrap. Rather, as Ben Cohen argued above, the idea behind this proposal is that it is useful to explain the &quot;why&quot;--on the premise that there is some &quot;why&quot; which is not deducible from the &quot;what.&quot; My argument is that there is no suitable &quot;why&quot; which can be suitably expressed in a sugared form of a fatalError string argument.</div><div><br></div></div></div></div>