From d0e4ba8124345ce990de7fdf7497dd903de6c342 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 30 Aug 2022 19:33:36 -0400
Subject: Got rid of the superfluous "lux macro" extension.

---
 stdlib/source/program/aedifex/hash.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index a83752014..d58f2d23e 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -35,7 +35,7 @@
   ("static" getInstance [java/lang/String] java/security/MessageDigest)
   (digest [[byte]] [byte]))
 
-(primitive .public SHA-1 Any)
+(primitive .public SHA1 Any)
 (primitive .public MD5 Any)
 
 (primitive .public (Hash h)
@@ -52,7 +52,7 @@
            (java/security/MessageDigest::digest [value])
            abstraction))]
 
-    [sha-1 ..SHA-1 "SHA-1"]
+    [sha1 ..SHA1 "SHA1"]
     [md5 ..MD5 "MD5"]
     )
 
@@ -71,7 +71,7 @@
        Nat
        <factor>)]
 
-    [20 sha-1::size]
+    [20 sha1::size]
     [16 md5::size]
     )
 
@@ -96,7 +96,7 @@
               ["Expected size" (%.nat <size>)]
               ["Actual size" (%.nat (binary.size data))])))]
 
-    [not_a_sha-1 ..sha-1::size]
+    [not_a_sha1 ..sha1::size]
     [not_a_md5 ..md5::size]
     )
 
@@ -107,7 +107,7 @@
          {try.#Success (abstraction data)}
          (exception.except <exception> [data])))]
 
-    [as_sha-1 SHA-1 ..sha-1::size ..not_a_sha-1]
+    [as_sha1 SHA1 ..sha1::size ..not_a_sha1]
     [as_md5 MD5 ..md5::size ..not_a_md5]
     )
 
@@ -158,7 +158,7 @@
         (def encoded (|>> representation ..encoded))
         (def decoded (..decoded <nat> <constructor>))))]
 
-    [sha-1_codec SHA-1 ..sha-1::size ..as_sha-1]
+    [sha1_codec SHA1 ..sha1::size ..as_sha1]
     [md5_codec MD5 ..md5::size ..as_md5]
     )
 
-- 
cgit v1.2.3