"These modules are needed for compilation but not listed in your .cabal" error

[effectfully]

I've recently updated my version of dante (from one at the beginning of 2022 I think) and now I often get these warnings:

<no location info>: warning: [GHC-32850] [-Wmissing-home-modules]
    These modules are needed for compilation but not listed in your .cabal file's other-modules for ‘plutus-core-1.19.0.0-inplace’ :
        <list_of_random_files>

which completely disables dante and forces me to reload it, which doesn't always help.

I don't know if it's me who screwed something up or there's a bug in dante or what. I do have plenty of custom Elisp logic... Reporting here in case you have an idea or somebody else ran into this issue as well.

Thank you for the fantastic library, I've been using it for years.

[effectfully]

;; flycheck backend deprecated October 2022 ;; (add-hook 'haskell-mode-hook 'flycheck-mode)

Oh I see what my problem might be... I still use flycheck.

[effectfully]

I've tried older versions of dante, same issue. Must be something else. Sorry for the noise.

[effectfully]

I've now tried flymake too, doesn't work either.

So what I do is I open a file that imports a file with a type error. Previously that allowed me to jump to the previous error, which would bring me to the imported file. But now dante just reports that everything is fine and doesn't allow jumping to the previous error, despite the *dante:...* buffer clearly indicating that there were errors in the imported file.

Is it just me or is that functionality now broken for other people too? I don't want to install HLS...

[effectfully]

Hm, it looks like this commit might be the culprit. It even says "However errors in dependencies won't be detected as such". Is it possible to make this customizable?