Skip to content

Review the behavior after failure loading a cradle #757

Closed
@pepeiborra

Description

@pepeiborra

I would expect that ghcide would retry to load it once the cradle is modified, but it sounds like it doesn't.

Originally posted by @pepeiborra in https://github.com/digital-asset/ghcide/issues/674#issuecomment-650982826

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions