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

[Nils Anders Danielsson]

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