[Agda-dev] build error on master

[Andrés Sicard-Ramírez]

Hi John,

On 6 March 2018 at 19:21, John Leo <leo at halfaya.org> wrote:

> and did cabal update followed by cabal install. I'm also using GHC 8.2.2

Also using GHC 8.2.2 I couldn't reproduce the problem running:

$ rm -r  dist/
$ cabal update
$ cabal install

> Are you sure that your make is not installing the
> profiled version of async?

Yes, I'm sure.

> Note that this is a new problem--I've
> built Agda from master many times and have never seen this before.

The change requiring the new version of async was made one month ago

  https://github.com/agda/agda/commit/d609d39636037ff689009799951c538d6402b99b

Best,


--
Andrés
La información contenida en este correo electrónico está dirigida únicamente a su destinatario y puede contener información confidencial, material privilegiado o información protegida por derecho de autor. Está prohibida cualquier copia, utilización, indebida retención, modificación, difusión, distribución o reproducción total o parcial. Si usted recibe este mensaje por error, por favor contacte al remitente y elimínelo. La información aquí contenida es responsabilidad exclusiva de su remitente por lo tanto la Universidad EAFIT no se hace responsable de lo que el mensaje contenga. The information contained in this email is addressed to its recipient only and may contain confidential information, privileged material or information protected by copyright. Its prohibited any copy, use, improper retention, modification, dissemination, distribution or total or partial reproduction. If you receive this message by error, please contact the sender and delete it. The information contained herein is the sole responsibility of the sender therefore Universidad EAFIT is not responsible for what the message contains.