Skip to content

Can not go to definition of non local libraries (i.e. dependencies) #708

Open
Open
Can not go to definition of non local libraries (i.e. dependencies)#708
Labels
component: ghcidelevel: hardTicket suited for expertspriority: highHigh priority itemtype: enhancementNew feature or request

Description

@i-am-the-slime
i-am-the-slime
opened on Sep 13, 2019

Is this because it is downloaded in some binary form?

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: ghcidelevel: hardTicket suited for expertspriority: highHigh priority itemtype: enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions