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

Darin Morrison dmorri23 at cs.mcgill.ca
Thu Nov 20 19:26:07 CET 2008


On Nov 12, 2008, at 6:41 AM, Nils Anders Danielsson wrote:

> On 2008-11-12 03:37, Darin Morrison wrote:
>>
>> It looks like it isn't really an Agda issue but a readline problem:
>
> Readline is only used by the unsupported agda -I. In order to get  
> rid of
> this problem I suggest that we choose one of the following two
> solutions:
>
> 1) Drop readline in favour of the simple putStrLn/getLine method which
>   is used under Windows.
>
> 2) Drop readline in favour of editline. I tried to use agda -I with
>   editline under Linux, and it worked fine, also for Unicode input.  
> Can
>   Mac and Windows users try the attached patch? Does it compile and  
> run
>   flawlessly?

This patch using editline works perfectly for me so far on Mac OS  
using GHC 6.10.1 and binary-0.4.4.  Thanks.

Regards,
Darin



More information about the Agda mailing list