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/repository | |
| parent | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (diff) | |
Improved exception-definition macro.
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
| -rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index bb89a6235..34488b544 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -6,7 +6,7 @@ [control ["[0]" io (.only IO)] ["[0]" try (.only Try)] - ["[0]" exception (.only exception)]] + ["[0]" exception (.only Exception)]] [data ["[0]" product] [text @@ -34,8 +34,8 @@ URL) (with_template [<name>] - [(exception .public (<name> [url URL - status Nat]) + [(exception.def .public (<name> [url status]) + (Exception [URL Nat]) (exception.report (list ["URL" (%.text url)] ["Status Code" (%.nat status)])))] |