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

[Darin Morrison]

On Nov 11, 2008, at 4:10 PM, Nils Anders Danielsson wrote:

> On 11/11/08 19:36, Darin Morrison wrote:
>> Before, with GHC 6.8.3, everything worked perfectly.  Now, when I  
>> try to load agda2-mode, Emacs just seems to hang.  It does this  
>> even if I try to switch to agda2-mode manually rather than loading  
>> an .agda file directly.
>
> When this happens, type Ctrl-G to abort and post the contents of the
> *ghci* buffer here. Hopefully the buffer contents will shed some light
> on your problems.


It looks like it isn't really an Agda issue but a readline problem:

GHCi, version 6.10.1: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer ... linking ... done.
Loading package base ... linking ... done.
Prelude> :set -package Agda
:set -package Agda
package flags have changed, resetting and loading new packages...
Loading package mtl-1.1.0.2 ... linking ... done.
Loading package old-locale-1.0.0.1 ... linking ... done.
Loading package old-time-1.0.0.1 ... linking ... done.
Loading package random-1.0.0.1 ... linking ... done.
Loading package QuickCheck-2.1.0.1 ... linking ... done.
Loading package syb ... linking ... done.
Loading package array-0.2.0.0 ... linking ... done.
Loading package base-3.0.3.0 ... linking ... done.
Loading package bytestring-0.9.1.4 ... linking ... done.
Loading package containers-0.2.0.0 ... linking ... done.
Loading package binary-0.4.4 ... linking ... done.
Loading package filepath-1.1.0.1 ... linking ... done.
Loading package unix-2.3.1.0 ... linking ... done.
Loading package directory-1.0.0.2 ... linking ... done.
Loading package process-1.0.1.0 ... linking ... done.
Loading package haskell98 ... linking ... done.
Loading package pretty-1.0.1.0 ... linking ... done.
Loading package haskell-src-1.0.1.3 ... linking ... done.
Loading package readline-1.0.1.0 ... linking ... ghc:
/usr/local/lib/readline-1.0.1.0/ghc-6.10.1/HSreadline-1.0.1.0.o:  
unknown symbol `_rl_basic_quote_characters'
ghc: unable to load package `readline-1.0.1.0'

Not terribly surprising I guess.  Initially, I had problems getting  
the readline package to even compile because it wasn't finding the  
readline installation from MacPorts.  I managed to get it to compile  
by manually running configure and passing it the appropriate paths,  
but apparently there's still something wrong.

Regards,
Darin