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
{{ message }}
Repository navigation
User accidentally uses a unicode long dash instead of ASCII dash to type a comment #1600
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)
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.
changed the title [-]User-reported unhelpful error message[/-][+]User accidentally uses a unicode long dash instead of ASCII dash to type a comment[/+]on Feb 20, 2023
Activity
cdsmith commentedon Feb 20, 2023
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.[-]User-reported unhelpful error message[/-][+]User accidentally uses a unicode long dash instead of ASCII dash to type a comment[/+]