write builtin
write(path,text)
Writes a text file atomically through a same-directory temporary file; host effect, rejected by `--check`.
| Phase | tt |
|---|
Example
@tt
write("build/generated.txt", "data")write builtinwrite(path,text)
Writes a text file atomically through a same-directory temporary file; host effect, rejected by `--check`.
| Phase | tt |
|---|
@tt
write("build/generated.txt", "data")