[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