[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