Suh Donghwi

I'd like to change the help message of `--numeric-version`, the default is "Print just the version number".

Ah, it is because I'm making a non-English application. I need to internationalize command line help messages.

Yes, among the options that were in my application, `--numeric-version` was the only thing that has non customizable help message. Everything else was customizable.

I could customize `--help` by doing the following to a specific mode: ``` &= helpArg [help "(internationalized message)"] ``` But I did not try `--verbose` flag, I don't use it.

Yes, it would be sufficient.

Sorry for being late. It would be great if I could contribute this project. I might try this later when I have enough time to deal with this issue. Thank...

I manually saved the file before closing and reopening it.

This is the output of `hie --version`: `Version 1.0.0.0, Git revision 4bec07d79cf77c8ee855957d20e315a89f799d75 (3745 commits) x86_64 ghc-8.6.5` I run it in Windows Subsystem for Linux, Ubuntu 18.04 LTS. Language server client...

This is my log reproducing the bug: https://pastebin.com/ZRYwWn1H

Yes. But after reopening, if I edit anywhere and save the file again, errors disappear.