aboutsummaryrefslogtreecommitdiff
path: root/lib/os.nom
diff options
context:
space:
mode:
authorBruce Hill <bitbucket@bruce-hill.com>2018-08-27 13:38:58 -0700
committerBruce Hill <bitbucket@bruce-hill.com>2018-08-27 13:39:22 -0700
commit930d522fbc3ab57faa926ed85f0d35d661722402 (patch)
tree8c91c71728b43b4e1817ed182c39bf991cb4b2a9 /lib/os.nom
parentc6a7b0be9ebdddb58a03749705987cb3058060d3 (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.nom1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/os.nom b/lib/os.nom
index 8bbc7c5..03d9657 100644
--- a/lib/os.nom
+++ b/lib/os.nom
@@ -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)