Skip to content

Add a public API entrypoint for the "oracle" (go to definition) feature #7265

Closed
@anderseknert

Description

@anderseknert

We use this in the Regal language server to provide the "go to definition" feature, but since the oracle package is internal, we're currently using a copy-pasted (and slightly modified / improved) version in Regal. If we exposed this feature in OPA via a public package, we'd be able to avoid maintaining this in more than one place, and improvements would benefit both projects.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions