From b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 15 Mar 2022 22:45:49 -0400 Subject: Leaner syntax for library/lux/control/exception.report --- stdlib/source/program/aedifex/hash.lux | 12 ++++++------ 1 file changed, 6 insertions(+), 6 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 6af53e362..d45c8bb6e 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -83,16 +83,16 @@ (exception: .public (not_a_hash [size Nat value Text]) (exception.report - ["Pseudo hash" (%.text value)] - ["Expected size" (%.nat size)] - ["Actual size" (%.nat (text.size value))])) + "Pseudo hash" (%.text value) + "Expected size" (%.nat size) + "Actual size" (%.nat (text.size value)))) (template [ ] [(exception: .public ( [data Binary]) (exception.report - ["Pseudo hash" (%.text (..encoded data))] - ["Expected size" (%.nat )] - ["Actual size" (%.nat (binary.size data))]))] + "Pseudo hash" (%.text (..encoded data)) + "Expected size" (%.nat ) + "Actual size" (%.nat (binary.size data))))] [not_a_sha-1 ..sha-1::size] [not_a_md5 ..md5::size] -- cgit v1.2.3