Polish default rendering of Pine values in Elm Explorer

pine-vm · Oct 1, 2024 · 8082500 · 8082500
1 parent e8fc830
commit 8082500
Showing 1 changed file with 15 additions and 7 deletions.
diff --git a/implement/pine/ElmTime/compile-elm-program/src/ElmCompilerConstruction.elm b/implement/pine/ElmTime/compile-elm-program/src/ElmCompilerConstruction.elm
@@ -163,23 +163,31 @@ buildPineExpressionSyntax config expression =
         printValueSyntax : Pine.Value -> List String
         printValueSyntax literal =
             case literal of
-                Pine.ListValue listValues ->
-                    case listValues of
+                Pine.ListValue itemsValues ->
+                    case itemsValues of
                         [] ->
                             [ "Pine.ListValue []" ]
 
                         firstListItem :: otherListItems ->
-                            case Pine.stringFromValue literal of
-                                Ok asString ->
-                                    [ "Pine.valueFromString " ++ "\"" ++ asString ++ "\"" ]
-
-                                Err _ ->
+                            let
+                                genericList () =
                                     "Pine.ListValue"
                                         :: (("[ " ++ String.join "\n" (printValueSyntax firstListItem))
                                                 :: List.map (printValueSyntax >> String.join "\n" >> (++) ", ") otherListItems
                                                 ++ [ "]" ]
                                                 |> List.map indentString
                                            )
+                            in
+                            if otherListItems == [] then
+                                genericList ()
+
+                            else
+                                case Pine.stringFromValue literal of
+                                    Ok asString ->
+                                        [ "Pine.valueFromString " ++ "\"" ++ asString ++ "\"" ]
+
+                                    Err _ ->
+                                        genericList ()
 
                 Pine.BlobValue blob ->
                     case Pine.bigIntFromBlobValue blob of