Task

Delete a file called "input.txt" and delete a directory called "docs".

This should be done twice: once "here", i.e. in the current working directory and once in the filesystem root.




:- module delete_file.
:- interface.
 
:- import_module io.
 
:- pred main(io::di, io::uo) is det.
 
:- implementation.
 
main(!IO) :-
    io.remove_file("input.txt", _, !IO),
    io.remove_file("/input.txt", _, !IO),
    io.remove_file("docs", _, !IO),
    io.remove_file("/docs", _, !IO).