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/profile.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/test/aedifex/profile.lux') diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index d45ac5fa9..5a040973e 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -79,20 +79,20 @@ (def: (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (# ! each (n.% 5) random.nat)] + [size (at ! each (n.% 5) random.nat)] (random.list size random))) (def: (set_of hash random) (All (_ a) (-> (Hash a) (Random a) (Random (Set a)))) - (# random.functor each - (set.of_list hash) - (..list_of random))) + (at random.functor each + (set.of_list hash) + (..list_of random))) (def: (dictionary_of key_hash key_random value_random) (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v)))) - (# random.functor each - (dictionary.of_list key_hash) - (..list_of (random.and key_random value_random)))) + (at random.functor each + (dictionary.of_list key_hash) + (..list_of (random.and key_random value_random)))) (def: info (Random /.Info) @@ -162,11 +162,11 @@ (_.coverage [/.default] (text#= "" /.default)) (_.coverage [/.default_lux] - (|> (# /.monoid identity) + (|> (at /.monoid identity) (the /.#lux) (same? /.default_lux))) (_.coverage [/.default_target] - (|> (# /.monoid identity) + (|> (at /.monoid identity) (the /.#target) (same? /.default_target))) ))))) -- cgit v1.2.3