Skip to content

Error "file is a directory" on attempt to go to documentation/source (Windows) #247

Closed
@DunetsNM

Description

@DunetsNM

Windows 10, VS Code, GHC 8.6.5
HLS reinstalled from scratch with precompiled 0.2.1 binaries

Trying to browse source from the tooltip:

image

Getting following error:

image

The file does exist and it's not a directory.

It is probably because file url has two slashes (file://...) but should have three (file:///), as described here microsoft/vscode#62251

Metadata

Metadata

Assignees

No one assigned

    Labels

    os: windowstype: bugSomething isn't right: doesn't work as intended, documentation is missing/outdated, etc..

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions