[Agda-dev] compiler-test failing on travis.ci

[Robert Estelle]

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>