Don't silently ignore `-v`
lawcho opened this issue · comments
Agda silently ignores the -v option, unless built with the debug cabal flag.
This led me on a merry chase when debugging the test failures in #7165.
Some ways to improve the UX:
- Issue a warning when ignoring
-v - Support
-vby default (do we have recent benchmarks?)
Related to #5429 (but -v is not backend-specific)
Oops, duplicate of #7114
Wontfix because #7256 (comment)