From b6956f733461340d30bf2cb0511cd32c2298d7d0 Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht <brendan.hansknecht@gmail.com>
Date: Tue, 28 Nov 2023 09:33:11 -0800
Subject: [PATCH] correct Inspect.opaque and Inspect.function to be function
 calls

---
 crates/compiler/builtins/roc/Inspect.roc | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/crates/compiler/builtins/roc/Inspect.roc b/crates/compiler/builtins/roc/Inspect.roc
index 03e46e1b48c..64a5f8fcb3f 100644
--- a/crates/compiler/builtins/roc/Inspect.roc
+++ b/crates/compiler/builtins/roc/Inspect.roc
@@ -62,11 +62,11 @@ InspectFormatter implements
 
     # In text, this would render as `<opaque>`
     # TODO: Pass the type name to opaque so that it can be displayed.
-    opaque : Inspector f where f implements InspectFormatter
+    opaque : * -> Inspector f where f implements InspectFormatter
 
     # In text, this would render as `<function>`
     # TODO: Maybe pass the the function name or signiture to function so that it can be displayed.
-    function : Inspector f where f implements InspectFormatter
+    function : * -> Inspector f where f implements InspectFormatter
 
     u8 : U8 -> Inspector f where f implements InspectFormatter
     i8 : I8 -> Inspector f where f implements InspectFormatter
@@ -262,13 +262,13 @@ dbgStr = \s ->
     |> dbgWrite s
     |> dbgWrite "\""
 
-dbgOpaque : Inspector DbgFormatter
-dbgOpaque =
+dbgOpaque : * -> Inspector DbgFormatter
+dbgOpaque = \_ ->
     f0 <- custom
     dbgWrite f0 "<opaque>"
 
-dbgFunction : Inspector DbgFormatter
-dbgFunction =
+dbgFunction : * -> Inspector DbgFormatter
+dbgFunction = \_ ->
     f0 <- custom
     dbgWrite f0 "<function>"