[m-rev.] for review: improve sspecifcation of aspsects of ':- mode' declarations
Zoltan Somogyi
zoltan.somogyi at runbox.com
Tue Jan 12 04:55:29 AEDT 2016
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.
More information about the reviews
mailing list