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 /licentia/source | |
| parent | 56d2835d35093e2d92c5e8a4371aa322b55e037b (diff) | |
De-sigil-ification: #
Diffstat (limited to 'licentia/source')
| -rw-r--r-- | licentia/source/program/licentia.lux | 10 | ||||
| -rw-r--r-- | licentia/source/test/licentia.lux | 10 |
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 |