From e5625dd840a8b8adc76987f649da254335d3d93a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 11 Aug 2022 16:50:42 -0400
Subject: Improved exception-definition macro.

---
 stdlib/source/program/aedifex.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/program/aedifex.lux')

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)
-- 
cgit v1.2.3