[m-users.] Predicate declared nondet error: mode mismatch in disjunction.

[Julien Fischer]

On Thu, 20 May 2021, Sean Charles (emacstheviking) wrote:

> Ahh…. I see what you might have meant… nondet. I changed it to semidet before I compiled it. You were right after all! LOL
> 
> words.m:099: In `bifmap'(in, out):
> words.m:099:   warning: determinism declaration could be tighter.
> words.m:099:   Declared `nondet', inferred `semidet'.

Exactly that.

Julien.