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

[Julien Fischer]

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

...

> In the words.err file it has listed every single line of my predicate. In this case the disjunction (I think) is the entire set of bifmap/2 declarations. I have attached the complete contents of my source file this time, sorry for
> the size of it. I am pretty sure I don’t have any duplicates either, this has been a long cut and paste and totally reorganise from my Prolog code so I suspected some kind of cut and paste error could have crept in but if so I have
> failed to spot it.
> 
> I am also assuming that `nondet` is correct for its determinism, I
> know it CAN fail i.e. a string that is not a keyword and for the
> examples given above it could succeed more than once.

When you fix the mode error, you find that the compiler will have
something to say about that last bit ...

Julien.