From f9e33ae96aec4741385a576719786092c9e68043 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Jun 2022 19:34:42 -0400 Subject: De-sigil-ification: # --- stdlib/source/test/aedifex/hash.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/test/aedifex/hash.lux') diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index a8b2e0d80..dfa36217b 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -30,8 +30,8 @@ (-> (-> Binary (/.Hash h)) (Random (/.Hash h)))) (do [! random.monad] - [size (# ! each (n.% 100) random.nat)] - (# ! each hash (_binary.random size)))) + [size (at ! each (n.% 100) random.nat)] + (at ! each hash (_binary.random size)))) (def: .public test Test @@ -51,13 +51,13 @@ (_.coverage [ ] (and (case ( (/.data expected)) {try.#Success actual} - (# /.equivalence = expected actual) + (at /.equivalence = expected actual) {try.#Failure error} false) - (case ( (# binary.monoid composite - (/.data expected) - (/.data expected))) + (case ( (at binary.monoid composite + (/.data expected) + (/.data expected))) {try.#Success actual} false @@ -80,9 +80,9 @@ [(do random.monad [expected (..random )] (_.coverage [] - (case (# decoded - (format (# encoded expected) - "AABBCC")) + (case (at decoded + (format (at encoded expected) + "AABBCC")) {try.#Success actual} false -- cgit v1.2.3