diff options
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 | 
