[Agda] Re: Good old times... (install trouble)

[Nils Anders Danielsson]

On 2009-02-15 20:29, Stefan Monnier wrote:

> So my question is: why is it that the latest Agda code always has to
> depend on the very latest of everything else.

For some Haskell libraries we depend on recent versions because of bugs
in earlier versions. It would be possible to drop some Haskell library
dependencies (by dropping features or implementing workarounds), but
since installing Haskell libraries is really easy using cabal-install we
have not attempted to minimise the number of dependencies. For people
who have trouble installing from scratch I suggest using the precompiled
packages.

When it comes to code written in Agda I can only speak for myself: I
often want to use/test/experiment with new language features (and
sometimes I take advantage of recent bug fixes).

-- 
/NAD


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.