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