Bob Nystrom
b7ed774da3
- File.close() - File.open() - File.read() - file.readBytes() And a few other little methods. Still lots more work to do, but it's a start.
7 lines
135 B
Plaintext
7 lines
135 B
Plaintext
import "io" for File
|
|
|
|
var file = File.open("test/io/file/file.txt")
|
|
file.close()
|
|
|
|
file.size // expect runtime error: File is not open.
|