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

[Ulf Norell]

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>