From 930d522fbc3ab57faa926ed85f0d35d661722402 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 27 Aug 2018 13:38:58 -0700 Subject: Bunch of miscellaneous changes. Paved the way a little bit for having different compiler domains. --- lib/os.nom | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/os.nom') 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) -- cgit v1.2.3