[Agda] minor bug with symbolic links in include path

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Feb 13 18:16:00 CET 2010


On 2010-02-13 14:34, Florent Balestrieri wrote:
> Whenever I try loading a file located in a symbolic link to a directory,
> Agda produces the message:
>
> eval: End of file during parsing
>
> and no syntax coloring is performed.
>
> However, modifying the variable `agda2-include-dirs' by replacing the
> links by their destination solved the problem.

Fixed.

Please report bugs using the bug tracker, so that we don't accidentally
forget about them.

--
/NAD



More information about the Agda mailing list