[Agda] Development version of agda-mode doesn't recognize symlinks?

Nils Anders Danielsson nad at cse.gu.se
Tue Nov 26 13:52:03 CET 2013


On 2013-11-26 13:26, Jan Stolarek wrote:
> It seems that symlinks are confusing agda-mode. Any way to solve that
> problem?

Symlinks appear to be supported for regular modules:

   $ mkdir A
   $ ln -s A B
   $ echo 'module A.M where' > A/M.agda
   $ agda B/M.agda
   Checking A.M (/tmp/A/M.agda).
   Finished A.M.

However, I guess the code that handles the new module Agda.Primitive
breaks some invariant.

-- 
/NAD


More information about the Agda mailing list