search

polarity-lang / polarity

A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
57 stars 2 forks source link

Hover info and goto definition for use decls #369

Closed timsueberkrueb closed 1 week ago

BinderDavid commented 1 week ago

I tried it out and it works perfectly :)

We might want to annotate the UseDecl in the AST with the resolved Url in the future:

https://github.com/polarity-lang/polarity/blob/c306d3d35331b94a2c1438043cb366ab243ae480/lang/ast/src/decls.rs#L157-L161