Ticket #79 (new defect)
Emacs and haskeline (or GHCi) do not interact very well
|Reported by:||nad||Owned by:||judah|
Description (last modified by nad) (diff)
Start Emacs, run M-x shell, start GHCi 6.10.3 (which uses haskeline), and paste the output of replicate 252 'x' into the GHCi prompt. I get the following result:
<interactive>:1:254: lexical error at character '\EOT'
The problem seems to be that Emacs does not send all of the input at once:
If STRING is more than 500 characters long, it is sent in several bunches. This may happen even for shorter strings.
(From the documentation of process-send-string in GNU Emacs 220.127.116.11.) See also the following message: http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/15591/focus=15632.
I do not know whether this is a problem in Emacs, GHCi or Haskeline, but it breaks the Agda Emacs mode (which communicates with a Haskell backend via GHCi). Even if this problem is fixed right away I expect to have to wait for a while before the next version of GHCi is released. Is there a known (simple) workaround for the problem?