Consider migrate the cache system to hls-graph #4240
Labels
status: in discussion
Not actionable, because discussion is still ongoing or there's no decision yet
type: enhancement
New feature or request
Instead of scattering the cache system between hls-graph and ghcide. There might be a better idea, we can migrate the cache system to hls-graph. Since the scattering leads to some hard debugging bugs like #4185 #4093, although they've been solved.
But it is hard, It would require us to make a very good abstract of the current handling logic. And reimplement the following in hls-graph:
dirtykeys
andstate
. And monitering is happening in ghcide.data Value v
that wrapFileVersion
andPositionDelta
.estimateFileVersionUnsafely
lastValueIO
and it is entangling withPositionMapping
But we can take steps to do it too.
The text was updated successfully, but these errors were encountered: