From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Sep 2021 15:39:55 -0400 Subject: Re-named \ => # && \\ => ## --- licentia/source/program/licentia.lux | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'licentia/source/program/licentia.lux') diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index 5ba705517..fd2ee3202 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -21,7 +21,7 @@ [monad {"+" [do]}]] [control [remember {"+" [to_do]}] - ["[0]" io {"+" [IO]} ("[1]\[0]" monad)] + ["[0]" io {"+" [IO]} ("[1]#[0]" monad)] ["[0]" maybe] ["[0]" try {"+" [Try]}] ["[0]" parser @@ -65,16 +65,16 @@ (do io.monad [?done (: (IO (Try Any)) (do (try.with io.monad) - [blob (\ file.default read input) - document (io\wrap (do [! try.monad] - [raw_json (\ utf8.codec decoded blob) + [blob (# file.default read input) + document (io#wrap (do [! try.monad] + [raw_json (# utf8.codec decoded blob) json (|> raw_json java/lang/String::trim - (\ json.codec decoded))] + (# json.codec decoded))] (|> json (.result /input.license) - (\ ! each /output.license))))] - (\ file.default write (\ utf8.codec encoded document) output)))] + (# ! each /output.license))))] + (# file.default write (# utf8.codec encoded document) output)))] (wrap (debug.log! (case ?done {try.#Success _} (success_message output) -- cgit v1.2.3