[Agda] segmentation fault
Sergei Meshveliani
mechvel at botik.ru
Mon Jul 6 14:06:45 CEST 2015
To my
> Also type-checking my project sometimes breaks by segmentation fault,
> and it improves after restarting Linux.
On Sun Jul 5 Andreas Abel abela at chalmers.se
wrote
> Is this due to https://code.google.com/p/agda/issues/detail?id=1518 ?
I cannot tell. And cannot reliably reproduce it. I type-check several
modules under emacs
(Agda 2.4.2.3, ghc-7.8.3, and also ghc-7.10.1).
For some modules, it becomes slow, and I find that it is
easier to control memory without emacs, and start type-checking by calling
Agda from the command line. After this (and somewhat once in a week, and
suddenly), it happens segmentation fault.
And then, it repeats -- until I restart Linux.
I wonder of whether this is due to Agda.
This may be, say, due to hardware.
Regards,
------
Sergei
More information about the Agda
mailing list