[mercury-users] mtags, .int files and vim

[Fergus Henderson]

On 15-Dec-2000, John Eikenberry <jae at zhar.net> wrote:
> 
> There seems to be an incompatibility in the way mtags generates tag files
> for the .int files... at least in respect to Vim.
> 
> For example, here's a line from random.int and the corresponding tags line
> (generated via 'mtags --ext /usr/lib/mercury/ints/random.int'):

The `.int' files are not really ideal for human consumption.  For
starters, they have all the comments removed.  So it's generally a
better idea to run mtags on the library source files rather than on
the `.int' files.  That way, when you use the tag to jump to the
declaration of a library routine, you can immediately see the
documentation of the library routine.

The library source files are available in the Mercury source distribution.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------