From 34e310622bdeb1d0588c0664c0e78cbaa84f837c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 2 Dec 2020 06:42:20 -0400
Subject: Re-named "::" and ":::" macros to "\" and "\\", to be consistent with
 the convention that only macros that deal with types may start with a colon.

---
 stdlib/source/program/aedifex/repository.lux | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'stdlib/source/program/aedifex/repository.lux')

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index e5dc55d2c..7ec522a10 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -47,10 +47,10 @@
   (-> (Repository IO) (Repository Promise))
   (structure
    (def: (download artifact extension)
-     (promise.future (:: repository download artifact extension)))
+     (promise.future (\ repository download artifact extension)))
 
    (def: (upload identity artifact extension content)
-     (promise.future (:: repository upload identity artifact extension content)))
+     (promise.future (\ repository upload identity artifact extension content)))
    ))
 
 (signature: #export (Simulation s)
@@ -69,7 +69,7 @@
        (stm.commit
         (do {! stm.monad}
           [|state| (stm.read state)]
-          (case (:: simulation on-download artifact extension |state|)
+          (case (\ simulation on-download artifact extension |state|)
             (#try.Success [|state| output])
             (do !
               [_ (stm.write |state| state)]
@@ -82,7 +82,7 @@
        (stm.commit
         (do {! stm.monad}
           [|state| (stm.read state)]
-          (case (:: simulation on-upload identity artifact extension content |state|)
+          (case (\ simulation on-upload identity artifact extension content |state|)
             (#try.Success |state|)
             (do !
               [_ (stm.write |state| state)]
@@ -159,9 +159,9 @@
       (do {! (try.with io.monad)}
         [input (|> (java/net/URL::new url)
                    java/net/URL::openStream
-                   (:: ! map (|>> java/io/BufferedInputStream::new)))
+                   (\ ! map (|>> java/io/BufferedInputStream::new)))
          #let [buffer (binary.create ..buffer-size)]]
-        (loop [output (:: binary.monoid identity)]
+        (loop [output (\ binary.monoid identity)]
           (do !
             [bytes-read (java/io/BufferedInputStream::read buffer +0 (.int ..buffer-size) input)]
             (case bytes-read
@@ -169,10 +169,10 @@
                    [_ (java/lang/AutoCloseable::close input)]
                    (wrap output))
               _ (if (n.= ..buffer-size bytes-read)
-                  (recur (:: binary.monoid compose output buffer))
+                  (recur (\ binary.monoid compose output buffer))
                   (do !
-                    [chunk (:: io.monad wrap (binary.slice 0 (.nat bytes-read) buffer))]
-                    (recur (:: binary.monoid compose output chunk))))))))))
+                    [chunk (\ io.monad wrap (binary.slice 0 (.nat bytes-read) buffer))]
+                    (recur (\ binary.monoid compose output chunk))))))))))
 
   (def: (upload [user password] artifact extension content)
     (do (try.with io.monad)
@@ -190,5 +190,5 @@
        code (java/net/HttpURLConnection::getResponseCode connection)]
       (case code
         +200 (wrap [])
-        _ (:: io.monad wrap (exception.throw ..deployment-failure [code])))))
+        _ (\ io.monad wrap (exception.throw ..deployment-failure [code])))))
   )
-- 
cgit v1.2.3