[mercury-users] Custom declarations and preprocessors.

[Tyson Dowd]

Hi,

Anthony Senyard <anthls at cs.mu.oz.au> is working on a Mercury
documentation tool that allows

	:- doc(predname/arity, "Some comment about the predicate").

style declarations.  From this it can generate LaTeX tables of
documentation (and conceivable other sorts of documentation too).

He has to do some work to remove these declarations (so the Mercury
compiler won't see them).  This means either a pre-processing step,
or a modification to the compiler so it ignores them.

This made me think that perhaps other people have their own declarations
they'd like to use for this kind of thing, and might like a more more
general solution to the problem. 

Basically we could either 
	1. Allow the compiler to (somehow) be given a list of
	   declarations that it ignores.
	2. Help write a pre-processor and some rules for "mmake" so that
	   you can turn Mercury + extra stuff into ordinary .m files. 

Does anyone else use custom declarations in their Mercury programs?
Would anyone else fine one of these approaches helpful?

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