[m-dev.] docs and extent, re: op/3 syntax and semantics

[doug.auclair at logicaltypes.com]

Dear Fergus, you wrote:

>So the scope of an "op/3" declaration is from the following "item"
>(<http://www.cs.mu.oz.au/research/mercury/information/doc-latest/mercury_ref/Items.html>)
>up to the end of the module?

Actually, Julien asked a question about submodules and interface files that I'm looking into.

>> I suppose some documentation for the Mercury user's manual is required.
>Yes.
>> Does the above suffice?

>It's getting pretty close.
>You'd need to also specify the scope of the operator.
>And the documentation needs to be integrated with the
>existing stuff in the Mercury language reference manual.
>(Post the diff showing your changes to "doc/reference_manual.texi".)

.texi?  Well, okay, after I iron out the issues of interfaces and extent, I'll give updating the documentation a go.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------