[Agda-dev] build error on master

[John Leo]

Hi Andrés,

Yes, that's probably the change; I don't think I've built from master since
over a month previous.

I still don't understand why cabal is asking for a profiled version of
async in my case. But using the profiled version fixed the problem so okay
not to spend any more time on it. I wanted to at least mention it in case
someone else runs into it.

John

On Tue, Mar 6, 2018 at 4:44 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> 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/d609d39636037ff689009799951c53
> 8d6402b99b
>
> 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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20180306/b48f7a76/attachment.html>