[Agda] Compiling Standard Library with GHC 7.6

Dirk Ullrich dirk.ullrich at gmail.com
Sat Sep 15 20:32:01 CEST 2012


Hello,

if one wants to compile Agda's Standard Library (form Darcs) with GHC
7.6 one has to adapt the version of `base' in
`ffi/agda-lib-ffi.cabal', too.
The (diff-)patch appended takes care of this.

Dirk
-------------- next part --------------
A non-text attachment was scrubbed...
Name: agda-lib-ffi_ghc7.6.diff
Type: application/octet-stream
Size: 547 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120915/1e6673fa/agda-lib-ffi_ghc7.6.obj


More information about the Agda mailing list