diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-01-08 16:38:34 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-01-08 16:38:45 -0800 |
| commit | 1f47f1aa285a9c22af45995f53a3a1a11dc91ba3 (patch) | |
| tree | 035237a0834c1af05e0dbe38be9c8b50b14fef65 /lib/os.nom | |
| parent | 1d2bd858fd7479bc672bc0e1be77f30c63f85b0c (diff) | |
Removed automatic file caching.
Diffstat (limited to 'lib/os.nom')
| -rw-r--r-- | lib/os.nom | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |
