Re: [m-users.] Changing the working directory

Julien Fischer <[email protected]> Wed, 17 Jan 2024 15:56:10 +1100 (AEDT)
Newsgroups gmane.comp.lang.mercury.general
Message-ID <[email protected]>
Hi Volker,

On Tue, 16 Jan 2024, Volker Wysk wrote:

> There seems to be no predicate in the standard libraries for changing the
> working directory. I've looked in dir and io. And the strings "chdir" and
> "change_directory" don't occur in any library. "working" appears only in
> comments.

There is no such predicate in the standard library. Such an operation
would be backend / platform specific. In this case, getting a useful
behaviour for the Java backend seems difficult.

Julien.
_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users