[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