[Agda] multiple compilation
Serge D. Mechveliani
mechvel at botik.ru
Mon Apr 1 00:15:08 CEST 2013
On Sat, Mar 30, 2013 at 03:09:57PM -0500, Andr??s Sicard-Ram??rez wrote:
> 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.
I doubt whether that I can sensibly report a code. Because it occurs that
the effect depends on environment. I use the machines of
(I) Debian Linux, ghc-7.4.1,
(II) Debian Linux, ghc-7.6.2.
The effect is visible in (I) but not in (II).
Adding `-v 2' does not show the reason of "Compilation error:".
Adding the option of +RTS -M600m -K100m -RTS
to the `agda -c' command does not help.
Meanwhile, I apply `agda -c' 1-3 times, and this helps.
Regards,
------
Sergei
More information about the Agda
mailing list