Timing

[michaelmesser]

Add timing

[ShinKage]

Isn't better to add a command line option and/or an initialization option for timing?

[michaelmesser]

There should probably be configuration for logging and timing. How exactly do you want it to look?

[ShinKage]

Maybe we should inherit the compiler options at least for command line arguments, since the server effectively behaves as the compiler. So we add --log and --timing, we activate the relative options for the compiler, and we also use the same functionalities for our logging. However the compiler upstream may not be flexible enough at the current state. Therefore, maybe is better to at least have separate logging activate with the same flag, until we renconcile the mechanisms.

I'm not sure however if we should also add an option with the initialization message, since we are not really configurating anything, and is more a debugging option for developers than for users. What do you think?

[michaelmesser]

Ideally there would be away to toggle logging levels without restarting the LSP

[ShinKage]

I think the compiler provides the functionality. Then if we want to dynamically change the configuration is better to also provide an equivalent initialization option, and the client can send a didchangeconfiguration notification with the new configurations.