[Agda] Agda and ghc 6.12

Brent Yorgey byorgey at seas.upenn.edu
Wed Dec 9 14:19:44 CET 2009


Hi all,

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.

Maybe this is old news but I thought the report might be useful.

-Brent


More information about the Agda mailing list