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

[Andreas Abel]

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/