Ayaz's fix and first passing inspect test

This commit is contained in:
Brendan Hansknecht 2023-11-27 22:15:09 -08:00
parent f0dee1f6e9
commit 3434d3154a
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
2 changed files with 3 additions and 6 deletions

View file

@ -249,10 +249,10 @@ dbgBool : Bool -> Inspector DbgFormatter
dbgBool = \b ->
if b then
f0 <- custom
dbgWrite f0 "true"
dbgWrite f0 "Bool.true"
else
f0 <- custom
dbgWrite f0 "false"
dbgWrite f0 "Bool.false"
dbgStr : Str -> Inspector DbgFormatter
dbgStr = \s ->