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/artifact/time/date.lux | 4 ++-- stdlib/source/program/aedifex/hash.lux | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/program') diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 71f4dbe1c..d3af4c01b 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -21,7 +21,7 @@ ["[0]" year] ["[0]" month]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) (def: .public (pad value) (-> Nat Text) @@ -38,7 +38,7 @@ "Maximum" (%.int ..max_year) "Year" (%.int (year.value year)))) -(abstract: .public Date +(primitive: .public Date date.Date (def: .public epoch 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