[Agda] Agda and ghc 6.12

[Nils Anders Danielsson]

On 2009-12-09 13:19, Brent Yorgey wrote:
> Currently Agda doesn't build with ghc 6.12 for the simple reason that
> it requires base-4.1.*.  I changed the .cabal file to allow base-4.2.*
> as well and it built just fine for me with the current release
> candidate of ghc 6.12.1.

Did you also run the test suite? There are some changes to the handling
of IO in GHC 6.12, and I don't know if they affect Agda.

-- 
/NAD