continue long interpolated string on new line

Stream: mathlib4

[Thomas Murrills]

Style question: is there a better way to write a long error message than

throwError m!"looooooooooooooong message"
  ++ m!"continuing loooooooooooong message"
  ++ m!"etc"

I noticed that newlines are retained in the resulting error message, and I'd rather not do not.

[Eric Wieser]

@Mario Carneiro's hack here was

throwError m!"looooooooooooooong message {
  }continuing loooooooooooong message{
  }etc"

I think

[Eric Wieser]

Which puts the newlines into interpolation commands that get ignored

[Eric Wieser]

I might have butchered the details

[Thomas Murrills]

Oh that's a nice hack! I see, looks like it needs to have a term in there:

throwError m!"looooooooooooooong message {
  ""}continuing loooooooooooong message{
  ""}etc"

[Thomas Murrills]

But at that point, I wonder if ++ m! is prettier :sweat_smile:

[Mario Carneiro]

++ m! isn't always available if it is expecting an interpolated string. i.e. you didn't need to use m! because throwError is a macro that adds this itself