From 1f47f1aa285a9c22af45995f53a3a1a11dc91ba3 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Tue, 8 Jan 2019 16:38:34 -0800
Subject: Removed automatic file caching.

---
 lib/os.nom | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/os.nom b/lib/os.nom
index 3445e8d..916f18c 100644
--- a/lib/os.nom
+++ b/lib/os.nom
@@ -30,7 +30,7 @@ external $(sh> $) = $os.execute
 test:
     read file "lib/os.nom"
 
-externally (read file $filename) means (=lua "Files.read(\$filename, true)")
+external $(read file $filename) = $Files.read
 externally [
     write to file $filename $text, to file $filename write $text
     write $text to file $filename
@@ -54,5 +54,5 @@ externally (source lines of $tree) means:
             ..: add ($file, line $)
         ], joined with "\n"
 
-externally (spoof file $text) means ($Files.spoof $text)
-externally (spoof file $filename = $text) means ($Files.spoof $filename $text)
+external $(spoof file $text) = $Files.spoof
+external $(spoof file $filename = $text) = $Files.spoof
-- 
cgit v1.2.3