[Agda] 64-bit agda

[Nils Anders Danielsson]

On 2010-03-27 00:28, James Chapman wrote:
> 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?

If GHC supports this it should be possible, I guess.

> The reason I ask is I am hoping that this will allow Agda to use more
> than 4Gb of RAM on my machine.

Note that the Haskell heap takes roughly twice as much space if you
double the pointer size.

--
/NAD