From 3e67e244ad1f58a7bab0094967a86be72aae2482 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 1 Nov 2020 22:56:30 -0400
Subject: Improved the design of actors.

---
 stdlib/source/program/aedifex/hash.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 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 2f63d0edd..e5e4e020f 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -45,7 +45,7 @@
            (java/security/MessageDigest::digest [value])
            :abstraction))]
 
-    [sha1 ..SHA-1 "SHA-1"]
+    [sha-1 ..SHA-1 "SHA-1"]
     [md5 ..MD5 "MD5"]
     )
 
@@ -64,7 +64,7 @@
        Nat
        <factor>)]
 
-    [20 sha1::size]
+    [20 sha-1::size]
     [16 md5::size]
     )
 
@@ -87,7 +87,7 @@
         ["Expected size" (%.nat <size>)]
         ["Actual size" (%.nat (binary.size data))]))]
 
-    [not-a-sha1 ..sha1::size]
+    [not-a-sha-1 ..sha-1::size]
     [not-a-md5 ..md5::size]
     )
 
@@ -98,7 +98,7 @@
          (#try.Success (:abstraction data))
          (exception.throw <exception> [data])))]
 
-    [as-sha1 SHA-1 ..sha1::size ..not-a-sha1]
+    [as-sha-1 SHA-1 ..sha-1::size ..not-a-sha-1]
     [as-md5 MD5 ..md5::size ..not-a-md5]
     )
 
@@ -149,7 +149,7 @@
        (def: encode (|>> :representation ..encode))
        (def: decode (..decode <nat> <constructor>)))]
 
-    [sha1-codec SHA-1 ..sha1::size ..as-sha1]
+    [sha-1-codec SHA-1 ..sha-1::size ..as-sha-1]
     [md5-codec MD5 ..md5::size ..as-md5]
     )
 
-- 
cgit v1.2.3