[Agda] 64-bit agda

[James Chapman]

Does the development version of Agda require ghc 6.12?

I tried the haskell-platfrom from macports. When I tried to 'cabal
install' Agda it told me that it requires Cabal => 1.8.02 && <1.9  so
I upgraded Cabal to 1.8.0.4. Now I get the following error when trying
to 'cabal install' Agda:

$ cabal install
Resolving dependencies...
cabal: dependencies conflict: ghc-6.10.4 requires Cabal ==1.6.0.3 however
Cabal-1.6.0.3 was excluded because Cabal-1.8.0.4 was selected instead
Cabal-1.6.0.3 was excluded because Agda-2.2.7 requires Cabal >=1.8.0.2 && <1.9

Any thoughts?

James

On Mon, Mar 29, 2010 at 12:06 PM, Sean Leather <leather at cs.uu.nl> wrote:
> Manuel M T Chakravarty:
>>
>> James Chapman:
>> > Is it possible to compile Agda as a 64-bit binary using ghc 6.12 on OS
>> > X Leopard/Snow Leopard or some other combination?
>> >
>> > The reason I ask is I am hoping that this will allow Agda to use more
>> > than 4Gb of RAM on my machine.
>>
>> I haven't tried to compile Agda that way, but the latest Haskell Platform
>> release is available with 6.12 in MacPorts and it supposedly compiles a
>> 64-bit GHC:
>>
>>  http://hackage.haskell.org/platform/mac.html
>>
>> If you get Agda to compile with that, you should have a 64-bit Agda.
>
> Minor correction: The ghc port in MacPorts (used by the haskell-platform
> port) is version 6.10.4.
>
>
> http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018629.html
>   http://www.macports.org/ports.php?by=library&substr=ghc
>
> Sean
>