Skip to content

Persisting *openBinaryFile* error on file delete #359

@ArturB

Description

@ArturB

After deleting opened source file, the extension produces an error "openBinaryFile: does not exist". Such an "orphaned" error is - as far as I know - impossible to dismiss otherwise than by restarting VS Code, as managing an error lifecycle in VS Code is the sole responsibility of extension that created it, and feature requests to add manual cleanup were repeatedly ignored by VS Code team.

obraz

Steps to reproduce:

  1. Create new Stack project with stack new command.
  2. Open ./src/Lib.hs file.
  3. Delete ./src/Lib.hs.

My OS is Fedora 33.

Metadata

Metadata

Assignees

No one assigned

    Labels

    type: bugA bug or unintended effect

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions