<div dir="ltr"><div><div>It looks like it is related somehow to having PartialTypeSignatures enabled, having no other warnings/errors, and not going beyond parseSource.<br><br></div>Then it sometimes outputs the typed hole warnings, and sometimes not.<br><br></div>Alan<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 15, 2015 at 10:37 AM, Alan & Kim Zimmerman <span dir="ltr"><<a href="mailto:alan.zimm@gmail.com" target="_blank">alan.zimm@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Interesting. The t10358.hs test is a direct clone of a number of others with just the filename to be processed changed.<br><br></div>I have a queued TODO to harmonise this into a single module.<br><br>In other words the build process for this test is identical to say t10357.hs, which runs just before t10358.<span class="HOEnZb"><font color="#888888"><br><br></font></span></div><span class="HOEnZb"><font color="#888888">Alan<br><div><br></div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 15, 2015 at 10:13 AM, Erik de Castro Lopo <span dir="ltr"><<a href="mailto:mle+hs@mega-nerd.com" target="_blank">mle+hs@mega-nerd.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>Joachim Breitner wrote:<br>
<br>
> Hi,<br>
><br>
> I observe this on travis:<br>
><br>
>         Wrong exit code (expected 0 , actual 2 )<br>
>         Stdout:<br>
><br>
>         Stderr:<br>
>         collect2: ld terminated with signal 9 [Killed]<br>
>         make[3]: *** [t10358] Error 1<br>
<br>
</span>I've seen this just recently on these tests. Looking at<br>
/var/log/messages showed the `ld` process had been killed<br>
by the OOM killer.<br>
<br>
My instance of this was on armhf/linux with only 2Gig of<br>
RAM and no swap. I have to recompile the kernel to get<br>
swap :-(.<br>
<br>
Cheers,<br>
Erik<br>
<span><font color="#888888">--<br>
----------------------------------------------------------------------<br>
Erik de Castro Lopo<br>
<a href="http://www.mega-nerd.com/" target="_blank">http://www.mega-nerd.com/</a><br>
</font></span></blockquote></div><br></div>
</div></div></blockquote></div><br></div>