[Agda] multiple compilation
Nils Anders Danielsson
nad at chalmers.se
Sat Apr 6 00:03:17 CEST 2013
On 2013-04-05 20:40, Serge D. Mechveliani wrote:
> And it succeeds, links the result.
> So, I cannot locate the error.
I don't know what your problem is. One guess is that GHC runs out of
memory (perhaps because the Agda process holds on to too much of it).
However, I tried to force GHC 7.4.1 to run out of memory and got the
Current maximum heap size is 10485760 bytes (10 MB);
use `+RTS -M<size>' to increase it.
A note about stdout/stderr: Agda reads GHC's stdout and stderr. The
former is printed on Agda's stdout (unless you use -v0), but the latter
is stored, and only printed if GHC exits with an error code.
More information about the Agda