diff options
| author | Eduardo Julian | 2021-08-27 20:59:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-27 20:59:34 -0400 |
| commit | c5b61d2f46ac19bf511197f3a537c4be0f47df33 (patch) | |
| tree | cd62d188403e9b3998ba293dc5308719a430f1fe /stdlib/source/program/aedifex/hash.lux | |
| parent | e814f667aed509a70bd386dcd54628929134def4 (diff) | |
Updates to the Ruby compiler.
Diffstat (limited to 'stdlib/source/program/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/hash.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 74e78ca55..403fdb677 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -40,7 +40,7 @@ Binary (def: .public data - (All [h] (-> (Hash h) Binary)) + (All (_ h) (-> (Hash h) Binary)) (|>> :representation)) (template [<name> <kind> <algorithm>] @@ -116,7 +116,7 @@ (n.* ..hex_per_byte)) (def: (decoded size constructor encoded) - (All [h] + (All (_ h) (-> Nat (-> Binary (Try (Hash h))) (-> Text (Try (Hash h))))) (let [hash_size (..hash_size encoded)] @@ -159,7 +159,7 @@ ) (implementation: .public equivalence - (All [h] (Equivalence (Hash h))) + (All (_ h) (Equivalence (Hash h))) (def: (= reference subject) (\ binary.equivalence = |