aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/hash.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-04-09 00:46:03 -0400
committerEduardo Julian2022-04-09 00:46:03 -0400
commitf11afb9d2dfe2d59b41e8056eb8c4ae65268415f (patch)
treed7f57f5d62ddb58fceec0a827b0047ed70833841 /stdlib/source/program/aedifex/hash.lux
parentab99de20a3d0566a71bf0ef607d9d6e291d7f62a (diff)
Re-branded "abstract" types as "primitive" types.
Diffstat (limited to 'stdlib/source/program/aedifex/hash.lux')
-rw-r--r--stdlib/source/program/aedifex/hash.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index db33a1e6a..bd78f8fe3 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -21,7 +21,7 @@
["n" nat]
["[0]" i64]]]
[type
- [abstract "*"]]]])
+ [primitive "*"]]]])
... TODO: Replace with pure-Lux implementations of these algorithms
... https://en.wikipedia.org/wiki/SHA-1#SHA-1_pseudocode
@@ -34,10 +34,10 @@
("static" getInstance [java/lang/String] java/security/MessageDigest)
(digest [[byte]] [byte]))
-(abstract: .public SHA-1 Any)
-(abstract: .public MD5 Any)
+(primitive: .public SHA-1 Any)
+(primitive: .public MD5 Any)
-(abstract: .public (Hash h)
+(primitive: .public (Hash h)
Binary
(def: .public data