[Agda] Re: Avoid GHC 6.10.1 (for now)
Dan Licata
drl at cs.cmu.edu
Wed Nov 12 00:31:41 CET 2008
I've experienced this before (also on a mac), and as I recall, the
problem was that I forgot to sudo the installation, so the Agda package
didn't get registered with ghc because of a permissions problem. Then,
when you load a file, the emacs mode waits for an answer that isn't
coming, because ghc can't find agda. I think it ended up working if I
did a 'sudo runghc Setup.hs install' to finish installing the package.
Not sure if this is what's causing your problem, though.
-Dan
On Nov11, Nils Anders Danielsson wrote:
> On 11/11/08 19:36, Darin Morrison wrote:
> >
> >Before, with GHC 6.8.3, everything worked perfectly. Now, when I try to
> >load agda2-mode, Emacs just seems to hang. It does this even if I try
> >to switch to agda2-mode manually rather than loading an .agda file
> >directly.
>
> When this happens, type Ctrl-G to abort and post the contents of the
> *ghci* buffer here. Hopefully the buffer contents will shed some light
> on your problems.
>
More information about the Agda
mailing list