<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 19 January 2015 at 19:39, Philipp Hausmann <span dir="ltr"><<a href="mailto:p.hausmann@students.uu.nl" target="_blank">p.hausmann@students.uu.nl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":go" class="" style="overflow:hidden">I have a question about the internal Clauses/CompiledClauses representation of Agda. I just learned that for certain corner-cases,<br>
different clauses of the same function may take a different number of arguments. This seems to break the Epic (and my own new) backend; </div></blockquote></div><br><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Using a minimal example, could you report the Epic issue in <a href="https://code.google.com/p/agda/issues/list">https://code.google.com/p/agda/issues/list</a>, please.<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Thanks,<br></div><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr">Andrés</div></div></div></div>
</div></div>