ERASEFILE filename
ERF filename

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