Code

Implement Jump-To-Definition#196

Code

Closed

BinderDavid wants to merge 5 commits intomainpolarity-lang/polarity:mainfrom jump-to-definitionpolarity-lang/polarity:jump-to-definitionCopy head branch name to clipboard

+280-143

Commits

Commits on May 7, 2024

• Add dummy implementation of goto-definition

  BinderDavid

  committed
  857e2e4

  Copy full SHA for 857e2e4

• Add dummy implementation and rename HoverInfo to Info

  BinderDavid

  committed
  4d75d69

  Copy full SHA for 4d75d69

• Implement and use From instances for InfoContent

  BinderDavid

  committed
  8e2196c

  Copy full SHA for 8e2196c

• Thread lookup context through info collection

  BinderDavid

  committed
  2604385

  Copy full SHA for 2604385

• Working implementation

  BinderDavid

  committed
  0a5c556

  Copy full SHA for 0a5c556