<div class="gmail_quote">Hi,</div><div class="gmail_quote"><br></div><div class="gmail_quote">On 16 November 2010 17:52, Russ Abbott <span dir="ltr">&lt;<a href="mailto:russ.abbott@gmail.com">russ.abbott@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><font face="trebuchet ms,sans-serif">I&#39;m surprised that there is so much resistance to acknowledging what appears to be a bug.  Why not just fix it?  </font></blockquote>
</div><div><br></div>I&#39;d really like it, if ghci was clever enough to automatically detect the fact that you haven&#39;t provided enough function definitions for the minimal instance. Do you have a fix in mind?Other than something like annotating class declarations, which is a cool idea and has been suggested by ezyang already.<br>
<br><div><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
What interpretation justifies GHCi going into an uninterruptible state at this point?</blockquote><div><br></div><div>This is really bad. It should still be interruptible. I think I can break my resistance and say this (ghci not being interruptible) is a bug :)</div>
<div><br></div><div>Strangely, if you define two empty functions, just calling each other, this infinite loop can be easily interrupted. Try it with:</div><div><br></div><div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">f = g</font></div>
<div><font class="Apple-style-span" face="&#39;courier new&#39;, monospace">g = f</font></div><div><br></div><div>Moreover, if you compile&amp;run your original code, a very quick &#39;stack space overflow&#39; occurs. Nothing to interrupt there. At least it doesn&#39;t eat up all your system resources as you say ghci does. I just killed the process, saved before the need to restart :)</div>
<div><br></div><div>Best,</div><div>Ozgur</div>
</div>