@@ -2408,7 +2408,21 @@ toStringReport source string row col =
2408 ,"quotes","on","each","end.","Is","the","closing","double"
2408 ,"quotes","on","each","end.","Is","the","closing","double"
2409 ,"quote","missing","in","your","code?"
2409 ,"quote","missing","in","your","code?"
2411− , D.link "Note" "Read" "TODO" "if you want a string that spans multiple lines."
2412+ "For a string that spans multiple lines, you can use the multi-line string\
2413+ \ syntax like this:"
2415+ [ D.fillSep [D.green "markdown","=",D.dullyellow "\"\"\""]
2417+ , D.dullyellow "# Multi-line Strings"
2419+ , D.dullyellow "- start with triple double quotes"
2420+ , D.dullyellow "- write whatever you want"
2421+ , D.dullyellow "- no need to escape newlines or double quotes"
2422+ , D.dullyellow "- end with triple double quotes"
2424+ , D.dullyellow "\"\"\""
@@ -2424,7 +2438,20 @@ toStringReport source string row col =
2426 [ D.reflow "Add a \"\"\" somewhere after this to end the string."
2440 [ D.reflow "Add a \"\"\" somewhere after this to end the string."
2427− , D.link "Hint" "Read" "TODO" "for more information on strings and multi-line strings."
2441+ , D.toSimpleNote $
2442+ "Here is a valid multi-line string for reference:"
2444+ [ D.fillSep [D.green "markdown","=",D.dullyellow "\"\"\""]
2446+ , D.dullyellow "# Multi-line Strings"
2448+ , D.dullyellow "- start with triple double quotes"
2449+ , D.dullyellow "- write whatever you want"
2450+ , D.dullyellow "- no need to escape newlines or double quotes"
2451+ , D.dullyellow "- end with triple double quotes"
2453+ , D.dullyellow "\"\"\""