purs docs generation of the ctags and etags formats is not working correctly with export lists.
A minimal example with purs 0.11.7:
module Main where
id :: forall a. a -> a
id x = x
generated tags (correct, though ample whitespace for etags looks a bit odd):
~/proj/tagtest$ purs docs src/Main.purs --format ctags
id /Users/mleon/proj/tagtest/src/Main.purs 3
~/proj/tagtest$ purs docs src/Main.purs --format etags
/Users/mleon/proj/tagtest/src/Main.purs,6
id3,
~/proj/tagtest$
Now let's add an export list:
module Main (id) where
id :: forall a. a -> a
id x = x
tags are empty now:
~/proj/tagtest$ purs docs src/Main.purs --format ctags
~/proj/tagtest$ purs docs src/Main.purs --format etags
/Users/mleon/proj/tagtest/src/Main.purs,0
~/proj/tagtest$
purs docsgeneration of thectagsandetagsformats is not working correctly with export lists.A minimal example with
purs0.11.7:generated tags (correct, though ample whitespace for
etagslooks a bit odd):Now let's add an export list:
tags are empty now: