[mercury-users] Documentation error: "Result is either 'ok' or 'error'." isn't.

[Ralph Becket]

Julian Fondren, Saturday, 10 February 2007:
> The 'io' module docs say:
> 
>     % io.see(File, Result, !IO).
>     %
>     % Attempts to open a file for input, and if successful,
>     % sets the current input stream to the newly opened stream.
>     % Result is either 'ok' or 'error'.
>     %
>  :- pred io.see(string::in, io.res::out, io::di, io::uo) is det.
> 
> and, taking this on its word without looking at the definition of
> io.res, I got this error from this compiler:

The answer is to look at io.res :-)

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