14 lines
287 B
Text
14 lines
287 B
Text
:- 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).
|