[mercury-users] Seemingly spurious 'some but not all arguments have modes' error.

[Julian Fondren]

> This should be:
>    :- pred command(string::in,
>                   pred(list_dummy, io, io)::out(pred(in, di, uo) is det))
>                   is semidet.
>    Simon.

... ah.  I had a mode without a type.

Thanks!
Julian
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------