metals icon indicating copy to clipboard operation
metals copied to clipboard

Opened sources from dependencies aren't updated after build import

Open dos65 opened this issue 2 years ago • 0 comments

Describe the bug

Step to reproduce:

  • Open a project and import build
    scalaVersion := "2.13.8"
    libraryDependencies ++= Seq(
      "com.outr" %% "scribe" % "3.8.3"
    )
    
  • Open scribe.writer.Writer (symbol search Writer;)
  • upgrade scribe version to 3.9.0
  • notice that Writer.scala wasn't updated + additional info diagnostic that tries to typecheck the source using updated library

Closing document and opening it again doesn't help by some reason. Symbol search for query Writer; continues to returning the symbol from 3.8.3.

Expected behavior

Dependency sources should be closed or marked as non-existing / updated after the change.

Operating system

No response

Editor/Extension

VS Code

Version of Metals

v0.11.6

Extra context or search terms

No response

dos65 avatar Jun 17 '22 12:06 dos65