Closed someplaceguy closed 10 months ago
In the master branch there is now the possibility of suppressing messages by passing the -no_messages flag...
@melsman Thanks for the quick reply!
It's great that such an option already exists in master
! Unfortunately, it does not suppress all non-warning / non-error messages yet:
$ mlkit -no_messages -o build/gen_input_mlkit gen_input.mlb
[reading source file: nondebug.sml]
[reading source file: util.sml]
[reading source file: gen_input.sml]
[reading source file: main.sml]
(...)
Would it be possible to also suppress these messages?
Thanks!
It would be nice if there was a flag to suppress the compiler output (that is not a warning or an error).
As an example, while compiling one of my programs I see this output:
This quickly becomes noise when compiling several of such programs and it becomes hard to see actual warnings and errors (e.g. when these messages are intermixed with messages from other compilers being used in parallel).
Ideally, I would like to run something like
mlkit -quiet -o check_mlkit check.mlb
and MLKit would not output anything that isn't a warning or an error.