id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
79	Emacs and haskeline (or GHCi) do not interact very well	nad	judah	"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 23.0.93.1.) 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?
"	defect	new	minor		0.6			
