<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 29, 2013 at 12:42 PM, Serge D. Mechveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Compilation error:<br>
-----------------------------------<br>
<br>
It compiles and links after applying agda -c<br>
1, 2 or 3 times, depending on occasion.<br>
<br>
This has started when the code size has grown enough.<br>
<br>
Is such an effect known?<br>
<br></blockquote><div><br></div><div>I don't know this issue. Which is the compilation error?<br></div><br></div>-- <br>Andrés<br>
</div></div>