Closed
Description
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
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests