Re: [m-users.] How to get rid of warning message?

Volker Wysk <[email protected]> Tue, 11 Jul 2023 19:10:23 +0200

Newsgroups	gmane.comp.lang.mercury.general
Message-ID	<[email protected]>

Am Mittwoch, dem 12.07.2023 um 02:53 +1000 schrieb Zoltan Somogyi:
> On 2023-07-11 18:44 +02:00 CEST, "Volker Wysk" <[email protected]> wrote:
> > fisactions.m:120: In `update_recorder_statistics'(in, di, uo):
> > fisactions.m:120:   warning: determinism declaration could be tighter.
> > fisactions.m:120:   Declared `cc_multi', inferred `det'.
> > 
> > How to get rid of that message?
> 
> Pass --no-warn-det-decls-too-lax to the compiler.
> 
> The users's guide has a section on warning options;
> it is section 9.2 in the ROTD version.

I found the pragma no_determinism_warning. Thanks!

Volker

_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users

signature.asc (application/pgp-signature, 833 B)