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/specification/compositor/generation/case.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/case.lux') diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 1fbde2917..05e58e21f 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -32,7 +32,7 @@ (def: size (Random Nat) - (|> r.nat (# r.monad each (|>> (n.% ..limit) (n.max 2))))) + (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2))))) (def: (tail? size idx) (-> Nat Nat Bit) @@ -67,7 +67,7 @@ [(r.unicode 5) synthesis.text synthesis.path/text])) (do [! r.monad] [size ..size - idx (|> r.nat (# ! each (n.% size))) + idx (|> r.nat (at ! each (n.% size))) [subS subP] case .let [unitS (synthesis.text synthesis.unit) caseS (synthesis.tuple @@ -82,7 +82,7 @@ (in [caseS caseP])) (do [! r.monad] [size ..size - idx (|> r.nat (# ! each (n.% size))) + idx (|> r.nat (at ! each (n.% size))) [subS subP] case .let [right? (tail? size idx) caseS (synthesis.variant @@ -246,7 +246,7 @@ (_.property "===" (and (text#= (synthesis.%path special_path) (synthesis.%path special_pattern_path)) - (# synthesis.path_equivalence = special_path special_pattern_path))) + (at synthesis.path_equivalence = special_path special_pattern_path))) (_.property "CODE" (|> special_input (run "special_input") -- cgit v1.2.3