[Agda] emacs problems

Darin Morrison dmorri23 at cs.mcgill.ca
Thu Jun 18 00:33:20 CEST 2009

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


More information about the Agda mailing list