[Agda] agda-mode on mac os

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu May 6 17:59:31 CEST 2010


On 2010-05-06 13:48, Rypacek, Ondrej wrote:
> GHCi, version 6.10.4: http://www.haskell.org/ghc/  :? for help
> Loading package ghc-prim ... linking ... done.
> Loading package integer ... linking ... done.
> Loading package base ... linking ... done.
> Prelude> :set -package Agda-2.2.7

It seems as if you are using the development version of Agda, but not
the most recent one (which requires GHC 6.12). Is that right?

> Process ghci bus error

I think this kind of error can occur if the installation of GHC packages
is out of sync in some way. You could try reinstalling GHC and Agda.

-- 
/NAD


More information about the Agda mailing list