From a38d93007611f772eb82aba50e516be6c6ed3c61 Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht <brendan.hansknecht@gmail.com>
Date: Mon, 27 Nov 2023 22:25:51 -0800
Subject: [PATCH] expand ui tests to numbers

---
 .../specialize/inspect/bool_to_inspector.txt       |  4 ++--
 .../specialize/inspect/num_a_to_inspector.txt      |  4 ++++
 .../ability/specialize/inspect/u8_to_inspector.txt |  4 ++++
 .../generalization_among_large_recursive_group.txt | 14 +++++++-------
 4 files changed, 17 insertions(+), 9 deletions(-)
 create mode 100644 crates/compiler/uitest/tests/ability/specialize/inspect/num_a_to_inspector.txt
 create mode 100644 crates/compiler/uitest/tests/ability/specialize/inspect/u8_to_inspector.txt

diff --git a/crates/compiler/uitest/tests/ability/specialize/inspect/bool_to_inspector.txt b/crates/compiler/uitest/tests/ability/specialize/inspect/bool_to_inspector.txt
index 7b11b76012a..50661600b3e 100644
--- a/crates/compiler/uitest/tests/ability/specialize/inspect/bool_to_inspector.txt
+++ b/crates/compiler/uitest/tests/ability/specialize/inspect/bool_to_inspector.txt
@@ -1,4 +1,4 @@
 app "test" provides [main] to "./platform"
 
-main = Inspect.toInspector Bool.true
-#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[] + f:Inspect.bool(13):1]-> Inspector f where f implements InspectFormatter
+main = Inspect.toInspector Bool.true |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
+#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter
diff --git a/crates/compiler/uitest/tests/ability/specialize/inspect/num_a_to_inspector.txt b/crates/compiler/uitest/tests/ability/specialize/inspect/num_a_to_inspector.txt
new file mode 100644
index 00000000000..7d6958d913e
--- /dev/null
+++ b/crates/compiler/uitest/tests/ability/specialize/inspect/num_a_to_inspector.txt
@@ -0,0 +1,4 @@
+app "test" provides [main] to "./platform"
+
+main = Inspect.toInspector 7 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
+#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter
diff --git a/crates/compiler/uitest/tests/ability/specialize/inspect/u8_to_inspector.txt b/crates/compiler/uitest/tests/ability/specialize/inspect/u8_to_inspector.txt
new file mode 100644
index 00000000000..346c608138f
--- /dev/null
+++ b/crates/compiler/uitest/tests/ability/specialize/inspect/u8_to_inspector.txt
@@ -0,0 +1,4 @@
+app "test" provides [main] to "./platform"
+
+main = Inspect.toInspector 7u8 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
+#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter
diff --git a/crates/compiler/uitest/tests/recursion/generalization_among_large_recursive_group.txt b/crates/compiler/uitest/tests/recursion/generalization_among_large_recursive_group.txt
index 6238bd9ad15..5b89442a58f 100644
--- a/crates/compiler/uitest/tests/recursion/generalization_among_large_recursive_group.txt
+++ b/crates/compiler/uitest/tests/recursion/generalization_among_large_recursive_group.txt
@@ -3,22 +3,22 @@
 app "test" provides [main] to "./platform"
 
 f = \{} ->
-#^{-1} <1874><117>{} -<120>[[f(1)]]-> <116>[Ok <1882>{}]<80>*
+#^{-1} <2722><117>{} -<120>[[f(1)]]-> <116>[Ok <2730>{}]<80>*
     when g {} is
-#        ^ <1864><1882>{} -<1872>[[g(2)]]-> <72>[Ok <1882>{}]<102>*
+#        ^ <2712><2730>{} -<2720>[[g(2)]]-> <72>[Ok <2730>{}]<102>*
         _ -> Ok {}
 
 g = \{} ->
-#^{-1} <1864><1882>{} -<1872>[[g(2)]]-> <72>[Ok <1882>{}]<102>*
+#^{-1} <2712><2730>{} -<2720>[[g(2)]]-> <72>[Ok <2730>{}]<102>*
     when h {} is
-#        ^ <1869><1882>{} -<1877>[[h(3)]]-> <94>[Ok <1882>{}]<124>*
+#        ^ <2717><2730>{} -<2725>[[h(3)]]-> <94>[Ok <2730>{}]<124>*
         _ -> Ok {}
 
 h = \{} ->
-#^{-1} <1869><1882>{} -<1877>[[h(3)]]-> <94>[Ok <1882>{}]<124>*
+#^{-1} <2717><2730>{} -<2725>[[h(3)]]-> <94>[Ok <2730>{}]<124>*
     when f {} is
-#        ^ <1874><117>{} -<120>[[f(1)]]-> <116>[Ok <1882>{}]<80>*
+#        ^ <2722><117>{} -<120>[[f(1)]]-> <116>[Ok <2730>{}]<80>*
         _ -> Ok {}
 
 main = f {}
-#      ^ <1884><133>{} -<136>[[f(1)]]-> <138>[Ok <1882>{}]<1883>w_a
+#      ^ <2732><133>{} -<136>[[f(1)]]-> <138>[Ok <2730>{}]<2731>w_a