diff options
author | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-04 19:34:42 -0400 |
commit | f9e33ae96aec4741385a576719786092c9e68043 (patch) | |
tree | 140057dfc054346eab721f9905f0f0fff22ad933 /stdlib/source/test/aedifex/parser.lux | |
parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) |
De-sigil-ification: #
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/parser.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 050d3daef..945576470 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -40,14 +40,14 @@ (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: (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: random (Random Project) @@ -69,7 +69,7 @@ (def: (with_empty_profile project) (-> Project Project) (if (dictionary.empty? project) - (//project.project //.default (# //.monoid identity)) + (//project.project //.default (at //.monoid identity)) project)) (def: .public test @@ -94,7 +94,7 @@ ..with_default_sources ..with_default_repository)])) (dictionary.of_list text.hash) - (# //project.equivalence = actual)) + (at //project.equivalence = actual)) {try.#Failure error} false)))))) |