pan class="keywordsign">-&gt;</span> ...</code> thunking is meant to delay any potentially-slow
    computation (typically computing edit-distance with many things
    from the current environment) to when the hint message is to be
    printed. You should print an understandable error message before
    calling <code class="code">did_you_mean</code>, so that users get a clear notification of
    the failure even if producing the hint is slow.<br>
</p></div>

<pre><span id="VALsplit"><span class="keyword">va