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

[Paul Bone]

On Mon, Jan 11, 2016 at 03:58:01PM +1100, Julien Fischer 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.
> 
> (And make the implementation conform to that.)
> 

Agreed.


-- 
Paul Bone