[mercury-users] Error: mode mismatch in disjunction.

[Alan Baljeu]

> get_registers([T|Ts],N,[X|Xs]):-
>     (T=term(Vars,functor(atom(_F),LArgs,_)),
>         list__length(LArgs,_Tam),
>         get_registers(Ts,N,Xs)
>     ;T=eof
>     ;T=error(_,_)
>     )./
>

It appears you aren't defining X, so the last parameter can't be considered out
until you define it.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------