[m-rev.] for review: improve sspecifcation of aspsects of ':- mode' declarations

[Zoltan Somogyi]

On Tue, 12 Jan 2016 01:00:10 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> +If a predicate or function type declaration occurs in the interface section of
> +a module than all mode declarations for that predicate or function must occur

s/ than/, then/

> +in the interface section of the @emph{same} module.
> +Likewise, if a predicate or function type declaration occurs in the
> +implementation section of a module then all mode declarations for that

s/ then/, then/

> +predicate or function must occur in the implementation of the @emph{same}
> +module.

Maybe s/implementation/implementation section/

> +It is an error for a predicate or function to have mode declarations in both
> +the interface and implementation sections of a module.

This is a logical consequence of the rules above, and is thus redundant.
We may want to state it explicitly anyway, but I would suggest starting
the sentence with "Therefore, it is an error ..."

The rest is fine.

Zoltan.