<div dir="ltr">Problem fixed. Not an interesting problem, either. Turns out that I had not quite completely cleaned out my emacs before reinstallation.<div><br></div><div>Many thanks,</div><div><br></div><div>Sean</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Nov 5, 2017 at 10:46 AM, Saurabh Nanda <span dir="ltr"><<a href="mailto:saurabhnanda@gmail.com" target="_blank">saurabhnanda@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br></div><div>1. Exact behavior is that Emacs freezes for about a minute and displays (in bold) in the type of the word I'm over.</div><div>    Thus, I was trying to edit a small a-list with dummy 0.000s in the range.  Every third keystroke, emacs stopped to tell me that</div><div>    my cursor was over 0.000::Double and I have to wait an indeterminate time (at least tens of seconds, sometimes a minute or more)</div><div>    to get control back.</div></div></blockquote><div><br></div><div><br></div></span><div>So, the underlying mechanism to determine type at current cursor position isn't very fast. In spacemacs+intero C-c C-t (or C-c C-i) takes anywhere between 1 to 10 sec for me. Something in your setup has made this lookup automatic. It's trying to determine the type as your browse around your source code. Do you have any idea what could have caused that?</div><div><br></div><div>You could try one more thing. Try delivering a SIGUSR2 to the Emacs process when it's stuck. It will stop doing whatever is holding it up and drop you into some sort of a debugger. That can give you some clues about what is causing this behaviour in your setup.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>-- Saurabh.</div></font></span></div>
</div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Sean Matthews<br><a href="mailto:seanmatthews1@gmail.com" target="_blank">seanmatthews1@gmail.com</a> / +49 1515 800 1901</div></div></div></div></div></div>
</div>