Synopsis Write values to a file.
Function
void writeFileEnc(loc file, str charset, value V...) throws PathNotFound(loc file), IO(str msg)
Usage
import IO;
Description Write a textual representation of some values to a file:
- If a value is a simple string, the quotes are removed and the contents are de-escaped.
- If a value has a non-terminal type, the parse tree is unparsed to produce a value.
- All other values are printed as-is.
- Each value is terminated by a newline character.
Files are encoded using the charset provided.