[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