1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux
index f4bae0122..38f1d3bd3 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/inference.lux
@@ -3,7 +3,7 @@
    [abstract
     [monad (#+ do)]]
    [control
-    ["ex" exception (#+ exception:)]]
+    ["." exception (#+ exception:)]]
    [data
     ["." maybe]
     [number
@@ -27,25 +27,25 @@
        [archive (#+ Archive)]]]]]])
 
 (exception: #export (variant-tag-out-of-bounds {size Nat} {tag Tag} {type Type})
-  (ex.report ["Tag" (%.nat tag)]
-             ["Variant size" (%.int (.int size))]
-             ["Variant type" (%.type type)]))
+  (exception.report
+   ["Tag" (%.nat tag)]
+   ["Variant size" (%.int (.int size))]
+   ["Variant type" (%.type type)]))
 
 (exception: #export (cannot-infer {type Type} {args (List Code)})
-  (ex.report ["Type" (%.type type)]
-             ["Arguments" (|> args
-                              list.enumerate
-                              (list@map (function (_ [idx argC])
-                                          (format text.new-line "  " (%.nat idx) " " (%.code argC))))
-                              (text.join-with ""))]))
+  (exception.report
+   ["Type" (%.type type)]
+   ["Arguments" (exception.enumerate %.code args)]))
 
 (exception: #export (cannot-infer-argument {inferred Type} {argument Code})
-  (ex.report ["Inferred Type" (%.type inferred)]
-             ["Argument" (%.code argument)]))
+  (exception.report
+   ["Inferred Type" (%.type inferred)]
+   ["Argument" (%.code argument)]))
 
 (exception: #export (smaller-variant-than-expected {expected Nat} {actual Nat})
-  (ex.report ["Expected" (%.int (.int expected))]
-             ["Actual" (%.int (.int actual))]))
+  (exception.report
+   ["Expected" (%.int (.int expected))]
+   ["Actual" (%.int (.int actual))]))
 
 (template [<name>]
   [(exception: #export (<name> {type Type})