[Agda] 64-bit agda

Manuel M T Chakravarty chak at cse.unsw.edu.au
Sun Mar 28 12:05:57 CEST 2010


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.

Manuel



More information about the Agda mailing list