[Agda] 64-bit agda

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sun Mar 28 04:54:55 CEST 2010


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


More information about the Agda mailing list