Open bakkot opened 4 years ago
We should handle Windows line endings somehow, either by explicitly supporting them in input (though presumably outputting them as just '\n') or (my preference) explicitly disallowing them, with a useful error message.
'\n'
What's the error message currently? Something like "Unexpected \r"?
No, it's parsed as text.
Oh god, yeah rejecting it with a nice error sounds good.
We should handle Windows line endings somehow, either by explicitly supporting them in input (though presumably outputting them as just
'\n'
) or (my preference) explicitly disallowing them, with a useful error message.