ERASEFILEfilenameERFfilename
Erases (deletes, removes) the file named filename.
The file must not be currently be open.
OPENWRITE "example.txt
SETWRITE "example.txt
PRINT "Hello
SETWRITE []
CLOSE "example.txt
OPENREAD "example.txt
CLOSE "example.txt
ERASEFILE "example.txt
OPENREAD "example.txt
File system error: Could not open file