Hello, with some tiny changes Agda 2 can be built by GHC 7.4. An appropriate Darcs patch is attached. Dirk -------------- next part -------------- A non-text attachment was scrubbed... Name: ghc7.4.patch Type: text/x-patch Size: 842 bytes Desc: not available Url : http://lists.chalmers.se/pipermail/agda/attachments/20111222/1083ad10/ghc7.4.bin