[Agda] Re: Dependencies for compiling agda, principal question
Ulf Norell
ulfn at chalmers.se
Wed Apr 21 20:57:08 CEST 2010
On Wed, Apr 21, 2010 at 8:41 PM, Stefan Monnier <monnier at iro.umontreal.ca>wrote:
> > Sure, it may make the development version more difficult to build and
> > use for non-developers, but then I think that non-developers probably
> > shouldn't try to use the development version to begin with.
>
> That would tend to put off developers.
> I would also be interested to hear a concrete response to the OP's
> question: which features justify that Agda only works with the very
> latest version of every other library it links to (or at least, so it
> seems). As a naive outsider, I'd expect that a tool like Agda would
> compile just fine with 2-year old tools (tho maybe less efficiently).
>
The concrete answer is what Darin said:
On Tue, Apr 20, 2010 at 12:30 PM, Darin Morrison <darinmorrison at gmail.com>
wrote:
>
> The Cabal support for Agda that I have been working on essentially requires
> the latest version.
In general we try to keep Agda compatible with the two most recent ghc
releases, but in this
case the changes between ghc-6.10 and ghc-6.12 (or the corresponding Cabal
releases) were
too big to make the effort worthwhile.
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100421/7d41f2c0/attachment.html
More information about the Agda
mailing list