[haskeline] #79: Emacs and haskeline (or GHCi) do not interact very well
haskeline
haskeline at projects.haskell.org
Wed May 13 17:13:33 EDT 2009
#79: Emacs and haskeline (or GHCi) do not interact very well
-------------------+--------------------------------------------------------
Reporter: nad | Owner:
Type: defect | Status: new
Priority: major | Milestone:
Version: | Keywords:
-------------------+--------------------------------------------------------
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.)
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?
--
Ticket URL: <http://trac.haskell.org/haskeline/ticket/79>
haskeline <http://example.org/>
My example project
More information about the Haskeline
mailing list