|
Home
News
Information
Overview
Features
Documentation
Papers
Developers
Events
Reports
Mailing Lists
Developers
Users
Search
Download
Current Release
Snapshot
Old Releases
Related
Applications
MCORBA
Contributing Code
Contact
Search
|
Subject: Re: [mercury-users] mtags, .int files and vim
From: Robert Jeschofnik (rejj@students.cs.mu.oz.au)
Date: Sat Dec 16 2000 - 13:04:07 EST
On 15-Dec-2000, John Eikenberry <jae@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'):
>
> :- pred random:random(int, (random:supply), (random:supply)).
>
> random:random /usr/lib/mercury/ints/random.int /^:- pred \
> random:random(int, (random:supply), (random:supply)).$/;-;/random:random/
[...]
> I'm fairly new to tags and very new to mercury, so I'm not positive, but it
> seems like the way to correct this would be to strip the module name from the
> tag name with mtags.
Perhaps a better solution would be to discontinue the use of ":" in the
compiler generated files. ":" as a module qualifier will be depricated some
time in the (hopefully) near future. Currently, it is suggested that users do
not use ":", and instead use "__". It would seem to me that the compiler should
also follow this rule.. which would also solve this problem with mtags.
That is, unless vim also thinks "__" is special, which would suck.
rob
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
This mail archive was generated by hypermail 2b25 on Sun Dec 31 2000 - 00:40:04 EST.
|
