1 files changed, 20 insertions, 6 deletions
diff --git a/stdlib/source/lux/debug.lux b/stdlib/source/lux/debug.lux
index 088504f2d..b60d62c11 100644
--- a/stdlib/source/lux/debug.lux
+++ b/stdlib/source/lux/debug.lux
@@ -22,14 +22,16 @@
     [collection
      ["." array]
      ["." list ("#\." functor)]]]
-   [time
-    [instant (#+ Instant)]
-    [duration (#+ Duration)]
-    [date (#+ Date)]]
+   ["." meta
+    ["." location]]
    [macro
     ["." template]
     ["." syntax (#+ syntax:)]
-    ["." code]]])
+    ["." code]]
+   [time
+    [instant (#+ Instant)]
+    [duration (#+ Duration)]
+    [date (#+ Date)]]])
 
 (with_expansions [<jvm> (as_is (import: java/lang/String)
 
@@ -161,7 +163,8 @@
   (exception.report
    ["Type" (%.type type)]))
 
-(type: Representation (-> Any Text))
+(type: Representation
+  (-> Any Text))
 
 (def: primitive_representation
   (Parser Representation)
@@ -304,3 +307,14 @@
               "Useful for debugging.")}
   (-> Text Any)
   ("lux io log" message))
+
+(exception: #export (type_hole {location Location} {type Type})
+  (exception.report
+   ["Location" (location.format location)]
+   ["Type" (%.type type)]))
+
+(syntax: #export (:hole)
+  (do meta.monad
+    [location meta.location
+     expectedT meta.expected_type]
+    (meta.fail (exception.construct ..type_hole [location expectedT]))))