ghcide-tests' addDependentFile test

[soulomoon]

What is happenning

• GetModificationTime dep-file.txt cache value in shake extra is cleanup
• GetModificationTime dep-file.txt is dirty
• shake restart
• GetModificationTime dep-file.txt computed
• GetModificationTime dep-file.txt cache value is added
• but the new value is not flush the result to hls-graph (Hence its version step is not updated)
• shake restart
• computing GetModificationTime dep-file.txt
• GetModificationTime dep-file.txt cache value is read (The source of the error) and returned
• it's reverse dep compute, since its step is not updated in the last run, the value is considered as the old result, so it's reverse dep is not recomputed.

============================
After file change and index
The correct case

<-- {
    "jsonrpc": "2.0",
    "method": "$/progress",
    "params": {
        "token": "22",
        "value": {
            "kind": "end",
            "message": "Finished indexing 1 files"
        }
    }
}
<-- {
    "jsonrpc": "2.0",
    "method": "textDocument/publishDiagnostics",
    "params": {
        "diagnostics": [],
        "uri": "file:///private/var/folders/36/_743psv11gv2wrj9dclrpd500000gn/T/hls-test-root/extra-dir-52959961234/Foo.hs",
        "version": 0
    }

but we sometimes we have, never get the diganostic for file that have changed

<-- {
    "jsonrpc": "2.0",
    "method": "$/progress",
    "params": {
        "token": "23",
        "value": {
            "kind": "end",
            "message": "Finished indexing 1 files"
        }
    }
}

[soulomoon]

Odd is that even we restarting the session, we have

trans Dirty: TypeCheck; /private/var/folders/36/_743psv11gv2wrj9dclrpd500000gn/T/hls-test-root/extra-dir-12222126765/Foo.hs

But TypeCheck Foo.hs is not rerun

[soulomoon]

GetModificationTime in hls-graph is not updated correctly

[soulomoon]

We should be deleting the GetModificationTime for watched file and update the state, but some how we did not always finish
https://github.com/soulomoon/haskell-language-server/blob/9dc0281413eb5cc92aa4d5d912691646ca142fa5/ghcide/src/Development/IDE/Core/FileStore.hs#L167

[soulomoon]

One possiblity
Again, another dirty keys losing problem as in #4093
But different. It is incorrectly removed in the next session and already stored to the shakeExtra's cache values but it's new value is not flushed to the hls-graph before the next session.

defineEarlyCutoff' remove dirty GetModificationTime "dep-file.txt" and update itself to the cache value but it's value never reach to actually update hls-graph and hence out of sync. It is new but being considered as old value in hls-graph

[soulomoon]

The solution would be the removal of dirty keys and the cache values update should go after hls-graph update the value or at least along side, and not the otherside around. Probably should be fixing it too in #4190.

[soulomoon]

fixed by #4190