From a8c390166561ec78856d27779bc9c4167223a3c0 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Sat, 25 Jan 2025 13:39:26 -0500 Subject: [PATCH] json: Show Fix --- src/Parser/JSON.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Parser/JSON.md b/src/Parser/JSON.md index 50c24a2..7441ed6 100644 --- a/src/Parser/JSON.md +++ b/src/Parser/JSON.md @@ -61,7 +61,7 @@ Show (JSONValue t) where in assert_total $ "{\{joinBy "," xs}}" show (VArray 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 (VNumber d) = show d show (VBool False) = "false"