diku-dk / futhark

:boom::computer::boom: A data-parallel functional programming language
http://futhark-lang.org
ISC License
2.35k stars 164 forks source link

Allow blank lines and comments in tuning files #2129

Closed sortraev closed 2 months ago

sortraev commented 2 months ago

Perhaps there is a good reason this was not already featured -- in which case, feel free to reject -- but I find this nice-to-have convenient, rather than having to delete or move unused tuning parameters.

Can import isspace to catch all whitespace characters.

athas commented 2 months ago

I suppose this is harmless.