[mercury-users] io.m, directory listing

[Tomas By]

Fergus Henderson writes:
> So I think the `dir' module would be a much better place.

OK, if you say so. ;)

I note there are some other things like `io__remove_file' that
should probably move as well then?

/Tomas
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------