[Agda] emacs hangs when loading agda2-mode

[Ulf Norell]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080518/e8cc6fbd/attachment.html