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

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

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

Hi!

I have this predicate in one module:

:- pred update_recorder_statistics(update_recorder::in, io::di, io::uo) 
is cc_multi.


It's meant to be passed as the second argument of this predicate in the same
module:

:- pred rec_continue(
    recorder::in,
    pred(rec, io, io) :: pred(in, di, uo) is cc_multi,
    io::di, io::uo
) is cc_multi.


I call it from a second module, like this:

rec_continue(Rec, update_recorder_statistics, !IO)


When I compile the first module, I get this warning:

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? When I change "cc_multi" to "det", the
warning vanishes, but then I get this error in the second module:

fis.m:105: In clause for `main1(di, uo)':
fis.m:105:   in argument 2 of call to predicate `fisactions.rec_continue'/4:
fis.m:105:   mode error: variable `V_61' has instantiatedness
fis.m:105:   `/* unique */ (pred(in, di, uo) is det)',
fis.m:105:   expected instantiatedness was `(pred(in, di, uo) is cc_multi)'.



Cheers
Volker

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

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