1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux
index d85a576cd..5765aa7a9 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/inference.lux
@@ -7,7 +7,7 @@
     ["[0]" pipe]
     ["[0]" maybe]
     ["[0]" try]
-    ["[0]" exception (.only exception)]]
+    ["[0]" exception (.only Exception)]]
    [data
     ["[0]" text (.only)
      ["%" \\format (.only format)]]
@@ -32,20 +32,21 @@
     [meta
      [archive (.only Archive)]]]]])
 
-(exception .public (cannot_infer [type Type
-                                  arguments (List Code)])
+(exception.def .public (cannot_infer [type arguments])
+  (Exception [Type (List Code)])
   (exception.report
    (list ["Type" (%.type type)]
          ["Arguments" (exception.listing %.code arguments)])))
 
-(exception .public (cannot_infer_argument [type Type
-                                           argument Code])
+(exception.def .public (cannot_infer_argument [type argument])
+  (Exception [Type Code])
   (exception.report
    (list ["Type" (%.type type)]
          ["Argument" (%.code argument)])))
 
 (with_template [<name>]
-  [(exception .public (<name> [type Type])
+  [(exception.def .public (<name> type)
+     (Exception Type)
      (exception.report
       (list ["Type" (%.type type)])))]