[m-dev.] `pred' and `mode' declarations and the module system

[Zoltan Somogyi]

On Mon, 11 Jan 2016 15:58:01 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> I suggest that we change the language definition to require that:
> 
>     1. *all* mode declarations for an exported predicate or function must also
>     be exported.
> 
>     2. be explicit about the fact that mixing predmode declarations with separate
>     mode declarations is an error.

Agree on both points.

> (And make the implementation conform to that.)

Since I worked on this recently, I will do that.

Zoltan.