On 04/07/2010 09:23 AM, Evan Laforge wrote:

On Thu, Apr 1, 2010 at 1:46 PM, Luke Palmer wrote:

...

VIm only for now, since I don't know if emacs tags format supports scoped tags. I am aware that it is not perfect -- patches and bug reports welcome.

This program generates a tag for each reference to a symbol:

Derive.PitchDeriver Derive/Derive.hs 98;" file:Cmd/Cmd.hs Derive.PitchDeriver Derive/Derive.hs 98;" file:Cmd/Play.hs Derive.PitchDeriver Derive/Derive.hs 98;" file:Cmd/ResponderSync.hs ... [ 20 more ] ...

The vim tag documentation says these are "static" tags, and implies they are meant to apply to symbols only valid within the same file, but this is clearly not the case. Actually, the vim doc implies that only "file:" is defined, and doesn't talk about "scoped tags" so I'm not sure what is going on. Anyway, whenever I go to a tag I have to first step through a message that says "1 of 25" or so. There's one for each reference in the tags file, even though those are references in other files.

What's going on? I even checked the current docs at vim.org and they don't mention a file:xyz form either.

As far as I know, there is nothing like "file:xyz" only "file:". This is to support static tags which I would not call "scoped tags" because they know only one scope: the file scope. Between, ghci can generate tags file for you with static tags too in ghc 6.12.1. The ticket which discusses this feature and also discusses emacs support for static tags is here: http://hackage.haskell.org/trac/ghc/ticket/3434 Peter.

On 04/08/2010 01:09 AM, Luke Palmer wrote:

On Wed, Apr 7, 2010 at 1:23 AM, Evan Laforge wrote:

...

Derive.PitchDeriver Derive/Derive.hs 98;" file:Cmd/Cmd.hs Derive.PitchDeriver Derive/Derive.hs 98;" file:Cmd/Play.hs Derive.PitchDeriver Derive/Derive.hs 98;" file:Cmd/ResponderSync.hs ... [ 20 more ] ...

The vim tag documentation says these are "static" tags, and implies they are meant to apply to symbols only valid within the same file, but this is clearly not the case. Actually, the vim doc implies that only "file:" is defined, and doesn't talk about "scoped tags" so I'm not sure what is going on. Anyway, whenever I go to a tag I have to first step through a message that says "1 of 25" or so. There's one for each reference in the tags file, even though those are references in other files.

Hmm odd, I don't get that behavior. Is that with the sorted annotation? What version of vim?

I get the correct behavior (no additional selection is needed). My vim version is 7.2.385. I did not use sorted annotation but I doubt it has anything to do with it.

...

What's going on? I even checked the current docs at vim.org and they don't mention a file:xyz form either.

I think I saw it documented *somewhere*, but now that I look again I can't find it anywhere. Maybe it was in a dream. I hope a newer version of vim didn't remove the support or something...

Even if it is not documented it makes sense. When "file:" is present then it limits the tag to the file which is the argument of "file:". If "file:" does not have any argument then the argument defaults to the file in which the tag is defined. That would mean that exported symbols should be generated without "file:", non-exported symbols should be generated with "file:" which does not have argument. In addition to this qualified symbols should be generated with the qualification and with "file:<fn>" where <fn> is the file name where the symbol is imported as qualified. Ghci's :ctags does not support qualified symbols :-/ Just to clarify it for myself. That would mean that the tags file should look like this: B.x b.hs /^x = 5 :: Int$/;" v file:a.hs B.x b.hs /^x = 5 :: Int$/;" v file:c.hs C.x c.hs /^x = B.x+1$/;" v file:a.hs localAct a.hs /^localAct = do$/;" v file: x b.hs /^x = 5 :: Int$/;" v x c.hs /^x = B.x+1$/;" v ... for these files: === file a.hs === module A () where import qualified B as B import qualified C as C localAct = do print B.x print C.x === file b.hs === module B (x) where x = 5 :: Int === file c.hs === module C (x) where import qualified B as B x = B.x+1