[Agda] emacs problems

[Darin Morrison]

On Wed, Jun 17, 2009 at 9:22 AM, Nils Anders
Danielsson<nad at cs.nott.ac.uk> wrote:
> On 2009-06-17 10:33, Nils Anders Danielsson wrote:
>>
>> The problem is that, when GHC 6.10 is used on certain platforms, there
>> is an upper limit to the length of strings that can be sent to GHCi from
>> Emacs shell buffers:
>>
>>  http://code.google.com/p/agda/issues/detail?id=136
>
> I have released a potential fix for this problem. However, I am not sure
> if the fix works on Windows and MacOS, so I would be grateful if it
> could be tested. If you can load the following module and do "give"
> (C-c C-SPC) in the hole, then things should be fine.

Works fine for me.

Mac OS X 10.5.7
GNU Emacs 22.3.1 (i386-apple-darwin9.6.0, Carbon Version 1.6.0)
GHC 6.10.3

-- 
Darin