[Agda] Agda beginner's problem

Dan Licata drl at cs.cmu.edu
Fri May 13 13:34:43 CEST 2011


One thing you can do to investigate is: press Control-G, at which point
emacs should become responsive again, and then look in the *ghci* buffer
to see what's going on.

-Dan

On May13, Christian Sternagel wrote:
> Hi there,
> 
> I just wanted to give Agda a try. Unfortunately, after following the 
> instructions from http://code.haskell.org/Agda/README, more specifically:
> 
>   yum install haskell-mode # I'm on fedora 14 (64 bit)
> 
> adding the following lines to my ~/.emacs
> 
>   (load "/usr/share/emacs/site-lisp/haskell-mode/haskell-site-file")
>   (add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
>   (add-hook 'haskell-mode-hook 'turn-on-haskell-indentation)
> 
> and then issuing
> 
>   cabal update
>   cabal install happy alex haskell-src-exts-1.9.6 Agda Agda-executable
>   agda-mode setup
> 
> At this point the haskell-mode for emacs works. But as soon as I try to 
> open a *.agda file, emacs hangs and is irresponsive. Has anybody 
> experienced similar problems?
> 
> cheers
> 
> chris
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


More information about the Agda mailing list