aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 19:34:42 -0400
committerEduardo Julian2022-06-04 19:34:42 -0400
commitf9e33ae96aec4741385a576719786092c9e68043 (patch)
tree140057dfc054346eab721f9905f0f0fff22ad933 /licentia/source
parent56d2835d35093e2d92c5e8a4371aa322b55e037b (diff)
De-sigil-ification: #
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia.lux10
-rw-r--r--licentia/source/test/licentia.lux10
2 files changed, 10 insertions, 10 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index aaa392ec3..518922e7c 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -65,16 +65,16 @@
(do io.monad
[?done (is (IO (Try Any))
(do (try.with io.monad)
- [blob (# file.default read input)
+ [blob (at file.default read input)
document (io#wrap (do [! try.monad]
- [raw_json (# utf8.codec decoded blob)
+ [raw_json (at utf8.codec decoded blob)
json (|> raw_json
java/lang/String::trim
- (# json.codec decoded))]
+ (at json.codec decoded))]
(|> json
(<json>.result /input.license)
- (# ! each /output.license))))]
- (# file.default write (# utf8.codec encoded document) output)))]
+ (at ! each /output.license))))]
+ (at file.default write (at utf8.codec encoded document) output)))]
(wrap (debug.log! (case ?done
{try.#Success _}
(success_message output)
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 0e40d75bb..a76149e42 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -50,9 +50,9 @@
[start (random.filter (|>> (n.= n#top) not)
random.nat)
#let [wiggle_room (n.- start n#top)]
- end (# ! each
- (|>> (n.% wiggle_room) (n.max 1))
- random.nat)]
+ end (at ! each
+ (|>> (n.% wiggle_room) (n.max 1))
+ random.nat)]
(wrap [time.#start start
time.#end end])))
@@ -109,8 +109,8 @@
(def: (variable_list max_size gen_element)
(All (_ a) (-> Nat (Random a) (Random (List a))))
(do [! random.monad]
- [amount (# ! each (n.% (n.max 1 max_size))
- random.nat)]
+ [amount (at ! each (n.% (n.max 1 max_size))
+ random.nat)]
(random.list amount gen_element)))
(def: black_list