Go-to definition jumps to hs-boot files

[mpickering]

If an identifier is defined in a hs-boot file then jumping to the definition will jump into the hs-boot file.

Technically, this is where the definition is, but really it would be better to jump to the definition in
the source file I think.

[ndmitchell]

Agreed - jumping to hs-boot files doesn't seem like the right thing to do in most cases.

[jneira]

I've not observed this nowadays, is it still an issue?

[sgraf812]

I'm observing this a lot in GHC's code base. Any reference to GHC.Types.Id.idSpecialisation, for example. GHC.Types.Id has an hs-boot file.

Edit: Although I'm on an old ghcide, I suppose. My HLS-wrappr says v0.5.0.0. I could try upgrading if you want me to.

[wz1000]

haskell/ghcide#898 will fix this

[alanz]

I just checked on HLS at 6b0740c, go to definition for LHsExpr takes me to the boot file.

[alanz]

False alarm, I flushed ~/.cache/ghcide and it now works as intended.

[jneira]

haskell/ghcide#898 will fix this

the pull request in this repo is: #704

[wz1000]

False alarm, I flushed ~/.cache/ghcide and it now works as intended.

I suspect it will come back on a boot with a primed cache since we will load the locations from .hi files instead of the NameCache.

[alanz]

Ok, so I must just kill the cache on startup :)

[wz1000]

You can also use my branch :)