[Agda] multiple compilation

Nils Anders Danielsson nad at chalmers.se
Thu Apr 4 15:38:08 CEST 2013

On 2013-03-30 19:39, Serge D. Mechveliani wrote:
> This is not reported. The last report line is exactly this:
> ------------------
> Compilation error:
> ------------------

What happens if you run GHC manually? Does GHC produce an error message?
Is this printed on stderr or stdout?


More information about the Agda mailing list