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

Julian Fondren ayrnieu at gmail.com
Sun Feb 11 15:39:35 AEDT 2007

> 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.

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

More information about the users mailing list