[Agda] emacs hangs when loading agda2-mode

[Brent Yorgey]

On Sat, May 17, 2008 at 7:01 PM, Ulf Norell <ulfn at cs.chalmers.se> wrote:

>
>
> On Sat, May 17, 2008 at 11:37 PM, Brent Yorgey <byorgey at gmail.com> wrote:
>
>> Hi all,
>>
>> I used to have agda2-mode working with emacs, but recently for some reason
>> emacs simply hangs when I try to load agda2-mode.  I have the latest darcs
>> version of Agda2, and GNU emacs 22.1.1.  I recopied the .el files from
>> src/full/Interaction/emacs-mode to my site-lisp directory after rebuilding
>> agda with the latest patches, but that didn't seem to help.  Anyone have any
>> ideas why this might be happening?
>
>
> What's in the *Messages* and *ghci* buffers? Hitting C-g a few times
> usually unhangs emacs to allow you to look in the buffers.
>
> / Ulf
>
>
Aha!  Thanks, I hadn't thought to try hitting C-g. =)  The buffers revealed
nothing in particular to be wrong, but looking in the *ghci* buffer somehow
inspired me to guess and ascertain the real reason: in my .ghci file I have
the line  :set prompt "> ".  Apparently agda2-mode looks for the Prelude>
prompt in particular to see when ghci is ready, or something like that.  Is
there any good reason for this, or could it (say) just look for the > at the
end of the prompt?

-Brent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080517/e4aaa791/attachment-0001.html