You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, printing an array is a "repr" type of display (not sure if there is any other alternative), but printing a string or char does not escape any characters, nor does it wrap the value in quotes. This can be annoying when printing an array of strings or characters.
Inspired by Python, it could be something like this:
If a value supports a "to string" operation, use that (this would be the "display" representation)
Otherwise, get the "repr" string for the value. This would look similar to a literal for the value in most cases.
If a value contains other values, the repr for the outermost value should use the repr for inner values.
The text was updated successfully, but these errors were encountered:
Right now, printing an array is a "repr" type of display (not sure if there is any other alternative), but printing a string or char does not escape any characters, nor does it wrap the value in quotes. This can be annoying when printing an array of strings or characters.
Inspired by Python, it could be something like this:
The text was updated successfully, but these errors were encountered: