search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Remove trailing white-spaces #7

Closed zapashcanon closed 6 years ago

zapashcanon commented 6 years ago

Hi,

Just removed trailing-whitespaces.

PeterSewell commented 6 years ago

Thanks for contributing to Lem, but really - if there's a large codebase with trailing whitespaces, you can safely assume (a) that we're fine with that, and also (b) that it's likely no-one really has time to check over a big diff for no benefit. Our available resource for maintaining Lem is unfortunately quite limited.

zapashcanon commented 6 years ago

Didn't wan't to remove them for no reason. When fixing real stuff (e.g. #6), it's a pain when your editor remove them automatically on save, you have to cancel everything, use another editor or change your preferences etc. Or just keep these changes, which will make the diff really hard to read... (e.g. #6 again).

(Plus, you can check this PR is harmless by just cloning my fork, building on the correct branch, comparing the binaries. It just take 5 minutes and a few commands. Or just believing me. But I understand you have limited time...)