[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