Nisse explained to me that the new cabal support will enable to install agda-code by means of cabal. This explains the dependency. Sorry for my ignorance. I can understand that it would take more (redundant) work to support agda in both these cabal versions. Maybe one could have two phases: let the core of agda be independent of cabal, and then the system with agda libraries could be through cabal. Then one can choose to install the libraries later, or manually ?<br>
<br>David<br><br><div class="gmail_quote">On Tue, Apr 20, 2010 at 6:20 PM, David Wahlstedt <span dir="ltr"><<a href="mailto:david.wahlstedt@gmail.com">david.wahlstedt@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div>This sounds good!</div>As I said, I am already happy for adga 2.2.6 via hackage and ghc-6.10.<div>It works fine on mac snow leopard and ubuntu 7, 8 and 9 for me.<br>
<br></div><div>But still my "idealistic" question remains unanswered:</div><div>What would be wrong having bleeding edge agda depend on stable and available versions of other tools, like cabal, ghc, etc ?</div>
<div>
<br></div><div>This was the point I tried to make.</div><div><br></div><div>BR</div><div>/David</div><div><div></div><div class="h5"><br><div class="gmail_quote">On Tue, Apr 20, 2010 at 4:27 PM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@cs.nott.ac.uk" target="_blank">nad@cs.nott.ac.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div>On 2010-04-20 10:26, David Wahlstedt wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I would be very grateful if one could take a principal conservative<br>
decision---that the code should always be buildable with the widely<br>
available version of the Haskell platform (which is now still 6.10).<br>
</blockquote>
<br></div>
The currently released version builds under GHC 6.10. The next version<br>
might depend on GHC 6.12, but the current version of the Haskell<br>
Platform ships with GHC 6.12 (not 6.10 [*]), so that should not pose<br>
much of a problem.<br>
<br>
[*] The most recent version of the platform is available, in binary<br>
form, for MacOS, Windows, and a number of Linux distributions. It will<br>
be available for Ubuntu when the next version is released, in a week or<br>
so.<br>
<br>
--<br><font color="#888888">
/NAD<br>
</font></blockquote></div><br>
</div></div></blockquote></div><br>