[m-dev.] `pred' and `mode' declarations and the module system
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.)
More information about the developers