From bf37295faeb9535c56671f4b2050260e1b88cd32 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Tue, 15 Jan 2019 15:53:31 -0800
Subject: Updating to v6.15, which includes "external (...)" instead of
 separate 'externally' versions of stuff, and some auto-formatting.

---
 lib/filesystem/init.nom | 64 ++++++++++++++++++++++++-------------------------
 1 file changed, 32 insertions(+), 32 deletions(-)

(limited to 'lib/filesystem/init.nom')

diff --git a/lib/filesystem/init.nom b/lib/filesystem/init.nom
index a228bdc..3e819f8 100644
--- a/lib/filesystem/init.nom
+++ b/lib/filesystem/init.nom
@@ -1,36 +1,36 @@
-#!/usr/bin/env nomsu -V6.14
+#!/usr/bin/env nomsu -V6.15.13.8
 #
     This file defines some actions that interact with the filesystem.
     
-externally (files for $path) means:
-    $files = (=lua "Files.list(\$path)")
-    if $files:
-        $files = (List $files)
-    return $files
-
-external $(read file $filename) = $Files.read
-externally [
-    write to file $filename $text, to file $filename write $text
-    write $text to file $filename
-] all mean:
-    unless ($filename != "stdin"):
-        fail "Cannot write to stdin"
+external:
+    (files for $path) means:
+        $files = (=lua "Files.list(\$path)")
+        if $files:
+            $files = (List $files)
+        return $files
+    $(read file $filename) = $Files.read
+    [
+        write to file $filename $text, to file $filename write $text
+        write $text to file $filename
+    ] all mean:
+        unless ($filename != "stdin"):
+            fail "Cannot write to stdin"
+        
+        lua> ("
+            local file = io.open(\$filename, 'w')
+            file:write(\$text)
+            file:close()
+        ")
     
-    lua> ("
-        local file = io.open(\$filename, 'w')
-        file:write(\$text)
-        file:close()
-    ")
-
-externally (source lines of $tree) means:
-    $source = ($tree.source if ($tree is syntax tree) else $tree)
-    $file = (read file $source.filename)
-    return
-        [
-            : for $ in ($file, line number at $source.start) to
-                $file, line number at $source.stop
-            ..: add ($file, line $)
-        ], joined with "\n"
-
-external $(spoof file $text) = $Files.spoof
-external $(spoof file $filename = $text) = $Files.spoof
+    (source lines of $tree) means:
+        $source = ($tree.source if ($tree is syntax tree) else $tree)
+        $file = (read file $source.filename)
+        return
+            [
+                : for $ in ($file, line number at $source.start) to
+                    $file, line number at $source.stop
+                ..: add ($file, line $)
+            ], joined with "\n"
+    
+    $(spoof file $text) = $Files.spoof
+    $(spoof file $filename = $text) = $Files.spoof
-- 
cgit v1.2.3