[mercury-users] mtags vs [ce]tags

[Dominique de Waleffe]

Having tried (without success so far due to a bug) to use mtags from
the distribution, I looked at the documentation for etags and found
that it could be extended by way of regular expessions.

Here's my first shot at it for mercury. This may be useful to some.
It is quite crude and suggestion for refinements are also welcome.

etags \
   --langdef=mercury --langmap=mercury:.m \
   --regex-mercury='/:-[ \t]+pred[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   --regex-mercury='/:-[ \t]+func[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   --regex-mercury='/:-[ \t]+mode[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   --regex-mercury='/:-[ \t]+typeclass[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   --regex-mercury='/:-[ \t]+instance[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   --regex-mercury='/:-[ \t]+type[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   --regex-mercury='/:-[ \t]+module[ \t]+([a-z][a-zA-Z0-9_]*)/\1/' \
   `find . -type f -name \*.m`

D.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------