When hovering over a variable, show its declaration line

[certik]

Example:

Instead of just x, it should show integer :: x.

[Pranavchiku]

This is tricky. To do this we need to pass location information of Declaration_t node and that is possible but what if we have integer :: x, y, z and then if I hover on print *, x it will show me integer :: x, y, z

[certik]

We don't need to pass any AST nodes.

Here is how it should work:

• you hover over x which is a Var ASR node
• you lookup the corresponding Symbol ASR node
• you call a utility function that converts the ttype into Fortran and show it.

So in the example integer :: x, y, z, it will show integer :: x. It can even just show integer, as that is the Fortran print of the ttype, but it might be good to format it as a Fortran declaration.

What it prints will not be the same as in the source code.

Alternatively, we can just show the source code for the Location span in the Symbol ASR, which will show the declaration, however, I would show the actual type computed from ttype. That will be accurate and very useful to users.

[Pranavchiku]

That is nice, yes, we can do that.