[Agda] Re: Avoid GHC 6.10.1 (for now)

[Nils Anders Danielsson]

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.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.