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

[Julien Fischer]

On Tue, 12 Jan 2016, Zoltan Somogyi wrote:

>
>
> 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/

Fixed.

>> +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/

Fixed.

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

Done.

>> +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 ..."

I have done as you suggest.

Julien.