[Agda] re-checking

Sergei Meshveliani mechvel at botik.ru
Tue Oct 4 18:04:42 CEST 2016


On Tue, 2016-10-04 at 11:18 +0200, Nils Anders Danielsson wrote:
> On 2016-10-03 21:09, Sergei Meshveliani wrote:
> > And most of the files that were earlier reported as `Skipping' are now
> > reported as `Checking'.
> > And have not touched M1, M2, M3.
> > How can this happen?
> 
> This could be a bug. Please report this on the bug tracker, along with a
> self-contained, reproducible test case.
> 

I cannot reproduce, sorry.
Probably, I have mistaken.

------
Sergei



More information about the Agda mailing list