goto definition for nixos options about nixd HOT 4 CLOSED

we have non-garbage character level position information for about 90% of nixos options available under options.OPTION.declarationPositions, in the format of unsafeGetAttrPos.

I just carefully read your PR looks like we can have line & column information by eval declarationPositions, and might be a preferred way to answer LSP requests.

This could, at least theoretically, form the basis of goto definition on nixos options. I expect this may have similar challenges to implement as #174,

The real challenge about options is, we cannot easily find out the attrpath where the user clicked. For now we have a slightly modified parser on the main branch, but that discards necessary information after parsing (that's why we have #257 and cannot be trivially merged).

from nixd.

This is already implemented in #93 ?

from nixd.

Yes, you're right; I missed that one. I think you may be able to use the declarationPositions attribute for a more direct way of getting to the attribute location which would be more reliable in certain cases (but falls over in different cases).

from nixd.

This feature gets implemented in #433.

@lf-

from nixd.