[Agda] multiple compilation

[Andrés Sicard-Ramírez]

On Sat, Mar 30, 2013 at 1:39 PM, Serge D. Mechveliani <mechvel at botik.ru>wrote:

> On Fri, Mar 29, 2013 at 09:23:45PM -0500, Andr??s Sicard-Ram??rez wrote:
> > I don't know this issue. Which is the compilation error?
> >
>
> This is not reported. The last report line is exactly this:
> ------------------
> Compilation error:
> ------------------
>
>
Since I don't have any files, I cannot try to reproduce your issue.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130330/9cb18dfc/attachment.html