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

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Wed Apr 18 23:38:20 AEST 2007

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.

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

More information about the users mailing list