[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