From abela at chalmers.se  Sun May  5 19:19:36 2019
From: abela at chalmers.se (Andreas Abel)
Date: Sun, 5 May 2019 19:19:36 +0200
Subject: [Agda-dev] compiler-test failing on travis.ci
Message-ID: <62d85771-3cc3-6da8-7970-a071c488f54a@chalmers.se>

My recent patches for issue #3732 seem to cause travis to fail at the 
compiler-test CompileAsPattern.  On my own machine I am not getting this 
failure.  Can someone reproduce this problem at their machine?

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/

From ulfn at chalmers.se  Mon May  6 06:43:30 2019
From: ulfn at chalmers.se (Ulf Norell)
Date: Mon, 6 May 2019 06:43:30 +0200
Subject: [Agda-dev] compiler-test failing on travis.ci
In-Reply-To: <62d85771-3cc3-6da8-7970-a071c488f54a@chalmers.se>
References: <62d85771-3cc3-6da8-7970-a071c488f54a@chalmers.se>
Message-ID: <CAJjNqYGJ7Cv-FN9D_UhivtXOcV0AjL=KJFR_qamYXFYZf6k5LA@mail.gmail.com>

Tests pass on my machine.

/ Ulf

On Sun, May 5, 2019 at 7:19 PM Andreas Abel <abela at chalmers.se> wrote:

> My recent patches for issue #3732 seem to cause travis to fail at the
> compiler-test CompileAsPattern.  On my own machine I am not getting this
> failure.  Can someone reproduce this problem at their machine?
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
>
> andreas.abel at gu.se
> http://www.cse.chalmers.se/~abela/
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20190506/8b67b1c8/attachment.html>

From robert.estelle at gmail.com  Tue May  7 06:01:19 2019
From: robert.estelle at gmail.com (Robert Estelle)
Date: Tue, 7 May 2019 00:01:19 -0400
Subject: [Agda-dev] compiler-test failing on travis.ci
In-Reply-To: <CAJjNqYGJ7Cv-FN9D_UhivtXOcV0AjL=KJFR_qamYXFYZf6k5LA@mail.gmail.com>
References: <62d85771-3cc3-6da8-7970-a071c488f54a@chalmers.se>
	<CAJjNqYGJ7Cv-FN9D_UhivtXOcV0AjL=KJFR_qamYXFYZf6k5LA@mail.gmail.com>
Message-ID: <CAMmwyQpRjMqe0CcVayS0Ze0HUM+NC=NZfeb-36W-Hj2mTx77-A@mail.gmail.com>

I've reproduced the failure and added some additional information on the
GitHub issue: https://github.com/agda/agda/issues/3732

On Mon, May 6, 2019 at 12:44 AM Ulf Norell <ulfn at chalmers.se> wrote:

> Tests pass on my machine.
>
> / Ulf
>
> On Sun, May 5, 2019 at 7:19 PM Andreas Abel <abela at chalmers.se> wrote:
>
>> My recent patches for issue #3732 seem to cause travis to fail at the
>> compiler-test CompileAsPattern.  On my own machine I am not getting this
>> failure.  Can someone reproduce this problem at their machine?
>>
>> --
>> Andreas Abel  <><      Du bist der geliebte Mensch.
>>
>> Department of Computer Science and Engineering
>> Chalmers and Gothenburg University, Sweden
>>
>> andreas.abel at gu.se
>> http://www.cse.chalmers.se/~abela/
>> _______________________________________________
>> Agda-dev mailing list
>> Agda-dev at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda-dev
>>
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20190507/92fc88fc/attachment.html>

From asr at eafit.edu.co  Sat May 18 01:51:22 2019
From: asr at eafit.edu.co (Andres Sicard Ramirez)
Date: Fri, 17 May 2019 23:51:22 +0000
Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.0.1
Message-ID: <CAOUWSGCq2DYonZ-HLasgN4LB7jLqc9wtwL7K_oVD_djoxa6a_A@mail.gmail.com>

Dear all,

The Agda Team is very pleased to announce the release of Agda 2.6.0.1.

In this bug-fix release, we fixed a regression in Agda 2.5.4.2 related
to mutual and abstract blocks, and a regression in Agda 2.5.4 related
to `AgdaAny`. See the details of these regressions and other issues
fixed in

    http://hackage.haskell.org/package/Agda-2.6.0.1/changelog

* GHC supported versions

Agda 2.6.0.1 has been tested with GHC 8.6.5, 8.4.4, 8.2.2, 8.0.2 and
7.10.3 on Linux, macOS and Windows.

Note that this version of Agda cannot be installed on Windows using
GHC 8.6.3 due to a GHC bug.

* Installation

    cabal update && cabal install Agda

* Standard library

The standard library 1.0.1 is compatible with Agda 2.6.0.1.

Enjoy Agda 2.6.0.1.

-- 
Andr?s on behalf of the Agda Team