User accidentally uses a unicode long dash instead of ASCII dash to type a comment

[codeworld-feedback]

trafficstars

Program: https://code.world/#PZlG63CKkE4qHAVKmNDrCUA

Message:

program.hs:5:34-38: error:
    • Missing punctuation before this expression.
      Perhaps you forgot a comma, an operator, or a bracket.
    • To multiply, please use the * operator.
      For example: base * image
    • To apply a function, add parentheses around the argument.
      For example: base(image)

[cdsmith]

Interesting. This person has used −− instead of -- to introduce a comment, and got a syntax error as a result. Perhaps we can do something, either by sanitizing non-ASCII characters that are very similar to ASCII in copy and paste, or at least an explanatory error message, to indicate what the problem is.