file object

[AriSilva]

Hi folks,
The file object has some functions, like read, open, close, but there is no function to set it. Why not?
myfile.set(filename);

Just for the sake of completeness, there is no relevance nor priority to this issue.

[josh]

file.open(filename) is the equivalent of setfile(filename). We decided to use file.open() rather than file.set() to be more consistent with other programming languages.