[mercury-users] [feature request] (slightly) richer XML doc output

[doug.auclair at logicaltypes.com]

Dear Peter, you wrote:

>Yes I wouldn't include those modules because they aren't used in the
>current module.

Hm, okay.  So, perhaps, instead of discarding the include_module
elements, is it possible to include those elements into the XML document,
but annotate them with a <not_used_in_implementation/> child or some
such?  The XMLer system is so complete that I would dislike needing
to duplicate parts of it to tease out library-like information.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------