diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-08-27 13:38:58 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-08-27 13:39:22 -0700 |
| commit | 930d522fbc3ab57faa926ed85f0d35d661722402 (patch) | |
| tree | 8c91c71728b43b4e1817ed182c39bf991cb4b2a9 /lib/os.nom | |
| parent | c6a7b0be9ebdddb58a03749705987cb3058060d3 (diff) | |
Bunch of miscellaneous changes. Paved the way a little bit for having
different compiler domains.
Diffstat (limited to 'lib/os.nom')
| -rw-r--r-- | lib/os.nom | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -43,6 +43,7 @@ action [..] write to file %filename %text, to file %filename write %text write %text to file %filename ..: + assume (%filename != "stdin") or barf "Cannot write to stdin" lua> ".." local file = io.open(\%filename, 'w') file:write(\%text) |
