[Agda] agda-mode on mac os
Rypacek, Ondrej
ondrej.rypacek at kcl.ac.uk
Thu May 6 18:32:48 CEST 2010
Yes, that's right. I downloaded the latest development version, but ran into problems when compiling agains GHC 6.10 , so I did
the Darin's Pathes Oblitaration Trick. "darcs obliterate --match='author dwm at ...'"
I'll try to reinstall everything and get back if it doesn't help.
Cheers a lot,
Ondrej
________________________________________
From: Nils Anders Danielsson [nad at Cs.Nott.AC.UK]
Sent: 06 May 2010 16:59
To: Rypacek, Ondrej
Cc: agda at lists.chalmers.se
Subject: Re: [Agda] agda-mode on mac os
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