Updated license for 2019.

1 files changed, 14 insertions, 14 deletions

diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index b909578d8..0592d41af 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -144,20 +144,20 @@
 
        (def: separator (:: system separator)))))
 
-(def: #export (un-nest System<!> file)
+(def: #export (un-nest system file)
   (All [!] (-> (System !) Path (Maybe [Path Text])))
-  (case (text.last-index-of (:: System<!> separator) file)
+  (case (text.last-index-of (:: system separator) file)
     #.None
     #.None
     
     (#.Some last-separator)
     (let [[parent temp] (maybe.assume (text.split last-separator file))
-          [_ child] (maybe.assume (text.split (text.size (:: System<!> separator)) temp))]
+          [_ child] (maybe.assume (text.split (text.size (:: system separator)) temp))]
       (#.Some [parent child]))))
 
-(def: #export (nest System<!> [parent child])
+(def: #export (nest system [parent child])
   (All [!] (-> (System !) [Path Text] Path))
-  (format parent (:: System<!> separator) child))
+  (format parent (:: system separator) child))
 
 (do-template [<name>]
   [(exception: #export (<name> {file Path})
@@ -368,34 +368,34 @@
           }))
 
 (do-template [<get> <signature> <create> <find> <exception>]
-  [(def: #export (<get> Monad<!> System<!> path)
+  [(def: #export (<get> monad system path)
      (All [!] (-> (Monad !) (System !) Path (! (Error (<signature> !)))))
-     (do Monad<!>
-       [outcome (!.use (:: System<!> <create>) path)]
+     (do monad
+       [outcome (!.use (:: system <create>) path)]
        (case outcome
          (#error.Success file)
          (wrap (#error.Success file))
          
          (#error.Failure error)
          (if (ex.match? <exception> error)
-           (!.use (:: System<!> <find>) path)
+           (!.use (:: system <find>) path)
            (wrap (#error.Failure error))))))]
 
   [get-file      File      create-file      file      ..cannot-create-file]
   [get-directory Directory create-directory directory ..cannot-create-directory]
   )
 
-(def: #export (exists? Monad<!> System<!> path)
+(def: #export (exists? monad system path)
   (All [!] (-> (Monad !) (System !) Path (! Bit)))
-  (do Monad<!>
-    [?file (!.use (:: System<!> file) path)]
+  (do monad
+    [?file (!.use (:: system file) path)]
     (case ?file
       (#error.Success file)
       (wrap true)
 
       (#error.Failure _)
-      (do Monad<!>
-        [?directory (!.use (:: System<!> directory) path)]
+      (do monad
+        [?directory (!.use (:: system directory) path)]
         (case ?directory
           (#error.Success directory)
           (wrap true)