VSCode plugin: Show function signatures

[p-offtermatt]

One of the things I am missing dearly when writing Quint is support to show function signatures for functions I am typing right now.
Here is what the thing I am talking about looks like in Golang:

i.e. just writing the StoreConsensusParams function name shows me what parameters I need to fill in.
This usually also works when hovering function calls, would be great to have that, too

The main benefit is that with this, it becomes less necessary to jump around and re-read function signatures.
In my workflow, this is pretty slow: ctrl+f, type the method I want to know about, go through the potentially many results to find a usage where I can tell what the signature is, then re-find the place where I actually want to write the function call.

[bugarela]

Hi! We do have some support for that already, but is far from perfect. I think this is not working correctly for projects with multiple files 😞.

However, I just tried the hovering functionality and it seems to be working well for me. I hovered over some operator names in your spec and it works fine. I'm not sure how reliable it is while you are in the middle of writing something. I tried writing:

val a = deliverPacketToConsumer

and after a few seconds, hovering over deliverPacketToConsumer showed me the signature (it shows both a concrete signature, with no aliases, and at the bottom, the signature with aliases which is easier to read.

Anyway, we should definitely improve this, but if you can use the hovering thing, it should already be much better than the ctrl+f workflow

[p-offtermatt]

Thanks! Yes, if I do that from a working spec it indeed looks good to me.

I think it gives me more trouble if I have a spec with errors, though unfortunately I don't have the concrete example anymore. I will give it another try, and if I find a concrete example where it breaks and I think it shouldn't, I'll get back to you!