[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