[Agda] Agda beginner's problem

[Christian Sternagel]

Wow. That was fast. Thanks for the hint with C-G (I do not use emacs 
that often). In the ghci buffer I found

Loading package terminfo-0.3.1.3 ... can't load .so/.DLL for: ncursesw 
(/usr/lib64/libncursesw.so: file too short)

But I don't know what I can do about it.

cheers

chris

On 05/13/2011 01:34 PM, Dan Licata wrote:
> One thing you can do to investigate is: press Control-G, at which point
> emacs should become responsive again, and then look in the *ghci* buffer
> to see what's going on.
>
> -Dan
>
> On May13, Christian Sternagel wrote:
>> Hi there,
>>
>> I just wanted to give Agda a try. Unfortunately, after following the
>> instructions from http://code.haskell.org/Agda/README, more specifically:
>>
>>    yum install haskell-mode # I'm on fedora 14 (64 bit)
>>
>> adding the following lines to my ~/.emacs
>>
>>    (load "/usr/share/emacs/site-lisp/haskell-mode/haskell-site-file")
>>    (add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
>>    (add-hook 'haskell-mode-hook 'turn-on-haskell-indentation)
>>
>> and then issuing
>>
>>    cabal update
>>    cabal install happy alex haskell-src-exts-1.9.6 Agda Agda-executable
>>    agda-mode setup
>>
>> At this point the haskell-mode for emacs works. But as soon as I try to
>> open a *.agda file, emacs hangs and is irresponsive. Has anybody
>> experienced similar problems?
>>
>> cheers
>>
>> chris
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>