[m-dev.] EDCG: backwards compatability

[Peter Nicholas MALKIN]

Hi,

There are two instances in io.m which involve clashes with visual and total
arity (although one instance involves a predicate which is obselete).
The predicates are:

**********************************************************************

:- pragma obsolete(io__tmpnam/1). % use io__make_temp/1 instead
:- pred io__tmpnam(string) +hidden(changed(io)).
:- mode io__tmpnam(out) is det.
        % io__tmpnam(Name, IO0, IO) binds `Name' to a temporary
        % file name which is different to the name of any existing file.
        % It will reside in /tmp if the TMPDIR environment variable
        % is not set, or in the directory specified by TMPDIR if it
        % is set.
        % Use of this predicate is deprecated, because it may
        % result in race conditions.  Use io__make_temp/3 instead.

:- pragma obsolete(io__tmpnam/3). % use io__make_temp/3 instead
:- pred io__tmpnam(string, string, string) +hidden(changed(io)).
:- mode io__tmpnam(in, in, out) is det.
        % io__tmpnam(Dir, Prefix, Name, IO0, IO) binds `Name' to a
        % temporary file name which is different to the name of any
        % existing file. It will reside in the directory specified by
        % `Dir' and have a prefix using up to the first 5 characters
        % of `Prefix'.
        % Use of this predicate is deprecated, because it may
        % result in race conditions.  Use io__make_temp/5 instead.

:- pred io__make_temp(string) +hidden(changed(io)).
:- mode io__make_temp(out) is det.
        % io__make_temp(Name, IO0, IO) creates an empty file
        % whose name which is different to the name of any existing file.
        % Name is bound to the name of the file.
        % The file will reside in /tmp if the TMPDIR environment variable
        % is not set, or in the directory specified by TMPDIR if it
        % is set.
        % It is the responsibility of the program to delete the file
        % when it is no longer needed.

:- pred io__make_temp(string, string, string) +hidden(changed(io)).
:- mode io__make_temp(in, in, out) is det.
        % io__mktemp(Dir, Prefix, Name, IO0, IO) creates an empty
        % file whose name is different to the name of any existing file.
        % The file will reside in the directory specified by `Dir' and will
        % have a prefix using up to the first 5 characters of `Prefix'.
        % Name is bound to the name of the file.
        % It is the responsibility of the program to delete the file
        % when it is no longer needed.

**********************************************************************

Peter

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------