From f11afb9d2dfe2d59b41e8056eb8c4ae65268415f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 9 Apr 2022 00:46:03 -0400
Subject: Re-branded "abstract" types as "primitive" types.

---
 stdlib/source/program/aedifex/hash.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 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 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
-- 
cgit v1.2.3