diff options
author | Eduardo Julian | 2022-08-30 19:33:36 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-30 19:33:36 -0400 |
commit | d0e4ba8124345ce990de7fdf7497dd903de6c342 (patch) | |
tree | e8cc8f5e41615ca9ca536f71ddec8aca7f882a6c /stdlib/source/program/aedifex/dependency/status.lux | |
parent | b135e487e8f705a5fea7b9ef785310572642063a (diff) |
Got rid of the superfluous "lux macro" extension.
Diffstat (limited to 'stdlib/source/program/aedifex/dependency/status.lux')
-rw-r--r-- | stdlib/source/program/aedifex/dependency/status.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux index 2ce288eec..19235595d 100644 --- a/stdlib/source/program/aedifex/dependency/status.lux +++ b/stdlib/source/program/aedifex/dependency/status.lux @@ -8,14 +8,14 @@ ["[0]" sum] ["[0]" product]]]] ["[0]" /// - ["[1][0]" hash (.only Hash SHA-1 MD5)]]) + ["[1][0]" hash (.only Hash SHA1 MD5)]]) (type .public Status (Variant {#Unverified} - {#Partial (Either (Hash SHA-1) + {#Partial (Either (Hash SHA1) (Hash MD5))} - {#Verified (Hash SHA-1) (Hash MD5)})) + {#Verified (Hash SHA1) (Hash MD5)})) (def any_equivalence (Equivalence Any) @@ -38,5 +38,5 @@ (def .public (verified payload) (-> Binary Status) {#Verified - (///hash.sha-1 payload) + (///hash.sha1 payload) (///hash.md5 payload)}) |