Hi,<br><br>First, I stated that, since the problems came with the darcs version, I accept things as they are, and that my question was principal. (maybe the swedish word "principiell" is differrent from the english word "principal") I could say "ideal" or "theoretical" instead.<br>
<br>So, again, why not be conservative even for this version ? <br>Many users want to take part of bug fixes and new *type theoretic* features. For these, it should be ok with an older version of cabal, and then after, say half a year, when the new haskell platform becomes available, let the dependency in. Not knowing the internals, it is hard to imagine that Agda would really need cabal 1.8 and ghc 6.12 to be implemented. if it worked before these versions existed, why wouldnt it work after that ? Is it really that a big differrence for the developers, so that these new fetures that the new tools offer are indispensable ? It should be possible to develop new software with reasonably, but not bleeding edge, tools. After all, Agda is basically a program that manipulates syntax trees and strings. (sorry if this was too naive :-)<br>
<br>My reason to use a later version than the hackage released version (still 2.2.6) was that I wanted to try Agsy, of Fredrik Lindblad. He had a patch he wanted to send me. I checked out 2.2.6 from darcs, but I couldn't build it. it seems that it was due to the cabal verson problem described before on this list. So actually I didnt ask for the "bleeding version".<br>
<br><br>David<br><br><br><div class="gmail_quote">On Tue, Apr 20, 2010 at 12:34 PM, Darin Morrison <span dir="ltr"><<a href="mailto:darinmorrison@gmail.com">darinmorrison@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 class="im"><br>
On 20 Apr 2010, at 10:56, James McKinna wrote:<br>
<br>
> They are surely a much bigger team, but even so, I support the idea of a release version for "the rest of us".<br>
<br>
</div>David was talking about the darcs version, not the release version.<br>
<br>
Is there some reason you feel the current release version (2.2.6) is not already accessible enough?<br>
<br>
Cheers,<br>
<font color="#888888">Darin<br>
</font><div><div></div><div class="h5"><br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br>