Manuel M T Chakravarty:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">James Chapman:<br>
<div>&gt; Is it possible to compile Agda as a 64-bit binary using ghc 6.12 on OS<br>
&gt; X Leopard/Snow Leopard or some other combination?<br>
&gt;<br>
&gt; The reason I ask is I am hoping that this will allow Agda to use more<br>
&gt; than 4Gb of RAM on my machine.<br>
<br>
</div>I haven&#39;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:<br>
<br>
  <a href="http://hackage.haskell.org/platform/mac.html" target="_blank">http://hackage.haskell.org/platform/mac.html</a><br>
<br>
If you get Agda to compile with that, you should have a 64-bit Agda.<font color="#888888"><br></font></blockquote></div><br>Minor correction: The ghc port in MacPorts (used by the haskell-platform port) is version 6.10.4.<br>


<br>  <a href="http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018629.html" target="_blank">http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018629.html</a><br>  <a href="http://www.macports.org/ports.php?by=library&amp;substr=ghc" target="_blank">http://www.macports.org/ports.php?by=library&amp;substr=ghc</a><br>

<br>Sean<br>