Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

json: Show Fix

Browse source
This commit is contained in:
Nathan McCarty 2025-01-25 13:39:26 -05:00
parent 77dcc4d953
commit a8c3901665
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Parser/JSON.md
View file

@ -61,7 +61,7 @@ Show (JSONValue t) where
in assert_total $ "{\{joinBy "," xs}}" in assert_total $ "{\{joinBy "," xs}}"
show (VArray xs) = show (VArray xs) =
let xs = dMap (\_,e => show e) xs let xs = dMap (\_,e => show e) xs
in assert_total $ "[\{joinBy "," . map show $ xs}]" in assert_total $ "[\{joinBy "," xs}]"
show (VString s) = "\"\{s}\"" show (VString s) = "\"\{s}\""
show (VNumber d) = show d show (VNumber d) = show d
show (VBool False) = "false" show (VBool False) = "false"