From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 stdlib/source/test/aedifex/repository/remote.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 75e9ff35e..1c16ddf09 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -31,16 +31,16 @@
    ["/[1]" //
     ["[1][0]" identity]]]])
 
-(def: (url_body url)
+(def (url_body url)
   (-> URL (@http.Body IO))
   (let [url (at utf8.codec encoded url)]
     (function (_ _)
       (io.io {try.#Success [(binary.size url) url]}))))
 
-(def: (good_http user password)
+(def (good_http user password)
   (-> //identity.User //identity.Password (http.Client IO))
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (with_expansions [<failure> [http/status.bad_request
                                   [@http.#headers (http.headers (list))
                                    @http.#body (..url_body "")]]]
@@ -70,17 +70,17 @@
                <failure>)
              <failure>))))))
 
-(def: bad_http
+(def bad_http
   (http.Client IO)
   (implementation
-   (def: (request method url headers input)
+   (def (request method url headers input)
      (<| io.io
          {try.#Success}
          [http/status.bad_request
           [@http.#headers (http.headers (list))
            @http.#body (..url_body "")]]))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (do [! random.monad]
-- 
cgit v1.2.3