[Agda] Fwd: [Haskell-cafe] Problem with compilation on MAC OS X

Nils Anders Danielsson nad at cse.gu.se
Thu May 30 17:17:43 CEST 2013


On 2013-05-30 15:55, Simon Thompson wrote:
>
> Sorry - forwarded the wrong email. Not my day :-)

The problem that is reported is in the file Paths_Agda, which is
/generated by Cabal/. With recent versions of Cabal the file Paths_Agda
only uses Exception.catch. What version of Cabal are you using
(cabal --version)?

-- 
/NAD


More information about the Agda mailing list