Ghcid crashes when modules are removed/renamed because all it can do to the underlying GHCi session is :reload, and a GHCi bug means that the GHCi session will crash when this happens.
Because ghciwatch tracks which files/modules are loaded in the session, it can accurately :unadd files from the session when they're removed on disk, without requiring the session be restared.
This should speed up development.
I'm going to cut 1.0 with this while we're at it.
[x] Labeled the PR with patch, minor, or major to request a version bump when it's merged.
[x] Updated the user manual in docs/.
[x] Added integration / regression tests in tests/.
linear[bot]
commented
4 months ago 
github-actions[bot]
Ghcid crashes when modules are removed/renamed because all it can do to the underlying GHCi session is
:reload, and a GHCi bug means that the GHCi session will crash when this happens.Because ghciwatch tracks which files/modules are loaded in the session, it can accurately
:unaddfiles from the session when they're removed on disk, without requiring the session be restared.This should speed up development.
I'm going to cut 1.0 with this while we're at it.
patch,minor, ormajorto request a version bump when it's merged.docs/.tests/.