Skip to content

Commit

Permalink
expand ui tests to numbers
Browse files Browse the repository at this point in the history
  • Loading branch information
bhansconnect committed Nov 28, 2023
1 parent 2bf3c19 commit a38d930
Show file tree
Hide file tree
Showing 4 changed files with 17 additions and 9 deletions.
Original file line number Diff line number Diff line change
@@ -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
Original file line number Diff line number Diff line change
@@ -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
Original file line number Diff line number Diff line change
@@ -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
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit a38d930

Please sign in to comment.