grin-compiler / grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
https://grin-compiler.github.io/
1.03k stars 38 forks source link

Add --continue-on-lint option. #78

Closed andorp closed 4 years ago

andorp commented 4 years ago

Fixes #76

andorp commented 4 years ago

Originally I added the the --continue-on-failed-lint and felt a bit mouthful. But as you also feel better about it, I'll change it :)