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

Paul Bone paul at bone.id.au
Mon Jan 11 17:03:22 AEDT 2016

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.)


Paul Bone

More information about the developers mailing list