<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Is reported:<br>
<a class="moz-txt-link-freetext" href="https://code.google.com/p/agda/issues/detail?id=1412">https://code.google.com/p/agda/issues/detail?id=1412</a><br>
<br>
Btw, you can also find the examples mentioned in the issue in my
github repo:<br>
<a class="moz-txt-link-freetext" href="https://github.com/phile314/agda-compiler-tests">https://github.com/phile314/agda-compiler-tests</a><br>
<br>
This is a work-in-progress, so it's a bit tricky to run the tests
right now, but I intend<br>
to fix that in the coming weeks. That should give us some tests
for at least the MAlonzo (and my own) backend.<br>
<br>
Philipp<br>
<br>
On 01/23/2015 12:36 PM, Andrés Sicard-Ramírez wrote:<br>
</div>
<blockquote
cite="mid:CAOUWSGCBMXDss6uRX1RxE38psewvDXtyJQkJvX40yvYz+WZWSQ@mail.gmail.com"
type="cite">
<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 moz-do-not-send="true"
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 moz-do-not-send="true"
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>
</blockquote>
<br>
</body>
</html>