diff options
author | Eduardo Julian | 2022-08-11 16:50:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-11 16:50:42 -0400 |
commit | e5625dd840a8b8adc76987f649da254335d3d93a (patch) | |
tree | fb672669383525d90d462edf8c141f98bc953894 /stdlib/source/program/aedifex.lux | |
parent | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (diff) |
Improved exception-definition macro.
Diffstat (limited to 'stdlib/source/program/aedifex.lux')
-rw-r--r-- | stdlib/source/program/aedifex.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index 27127e3da..dc378103b 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -9,7 +9,7 @@ ["[0]" io (.only IO)] ["[0]" maybe] ["[0]" try (.only Try) (.use "[1]#[0]" functor)] - ["[0]" exception (.only exception)] + ["[0]" exception] [concurrency ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]] [data @@ -94,8 +94,8 @@ (in {try.#Failure ""})))] (in output))) -(exception (cannot_find_repository [repository Text - options (Dictionary Text Address)]) +(exception.def (cannot_find_repository [repository options]) + (Exception [Text (Dictionary Text Address)]) (exception.report (list ["Repository" (%.text repository)] ["Options" (exception.listing (function (_ [name repo]) @@ -126,7 +126,7 @@ (..fail! error)))) (at io.monad in []))) -(exception .public invalid_operation) +(exception.def .public invalid_operation) (`` (def write_only (Console IO) |