Allow LSP-like behaviour of finding definition location via symbol #150

New Issue

aniva · 2024-12-19T05:02:20-08:00

aniva commented

2024-12-19 05:02:20 -08:00

This involves extracting data from .ilean files

This involves extracting data from `.ilean` files

aniva added the

part/Frontend

category

feature

labels 2024-12-19 05:02:20 -08:00

aniva self-assigned this 2024-12-19 05:02:20 -08:00

aniva added this to the 0.2.24 milestone 2024-12-20 00:56:41 -08:00

aniva commented

2025-01-10 09:40:03 -08:00

Key function references:

def locationLinksOfInfo (kind : GoToKind) (ictx : InfoWithCtx)
    (infoTree? : Option InfoTree := none) : RequestM (Array LocationLink) := do

Key function references: ```lean def locationLinksOfInfo (kind : GoToKind) (ictx : InfoWithCtx) (infoTree? : Option InfoTree := none) : RequestM (Array LocationLink) := do ```

aniva referenced this issue

2025-01-10 12:17:40 -08:00

feat: Add source location extraction #154

aniva added a new dependency 2025-01-10 12:49:43 -08:00

#154 feat: Add source location extraction

aniva closed this issue

2025-01-10 12:49:46 -08:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Depends on

#154 feat: Add source location extraction

aniva/Pantograph

Reference: aniva/Pantograph#150