[Agda-dev] Clauses and trailing implicit arguments

[Andrés Sicard-Ramírez]

On 19 January 2015 at 19:39, Philipp Hausmann <p.hausmann at students.uu.nl>
wrote:

> I have a question about the internal Clauses/CompiledClauses
> representation of Agda. I just learned that for certain corner-cases,
> different clauses of the same function may take a different number of
> arguments. This seems to break the Epic (and my own new) backend;
>

​Using a minimal example, could you report the Epic issue in
https://code.google.com/p/agda/issues/list, please.

Thanks,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150123/87a7b102/attachment.html