[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