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

Iain Lane ial at cs.nott.ac.uk
Tue Nov 11 20:40:12 CET 2008


Darin Morrison wrote:
> 
> On Nov 11, 2008, at 11:12 AM, Nils Anders Danielsson wrote:
> 
>> On 11/11/08 15:45, Nils Anders Danielsson wrote:
>>>
>>> This has now been fixed by a new version of binary.
>>
>> I should perhaps add that the most recent version of Agda is now
>> configured to only accept new versions of binary, so there is no risk of
>> using the slow version by accident.
> 
> I just updated my installation of GHC to 6.10.1 and binary to
> binary-0.4.4.  I'm using the latest version of Agda and the standard
> library, fresh from the repository several minutes ago.
> 
> 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.
> 
> Is this a known problem?  Any ideas what might be causing it?
> 
> Regards,
> Darin
> 

I've found this too, running current Agda and GHC 6.10.1 from Macports
on OSX.

Iain


More information about the Agda mailing list