Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Scala3] Incremental compilation in Bloop ignores class deletion #3118

Open
dos65 opened this issue Sep 14, 2021 · 3 comments
Open

[Scala3] Incremental compilation in Bloop ignores class deletion #3118

dos65 opened this issue Sep 14, 2021 · 3 comments
Labels
bloop Bloop related tickets bug Something that is making a piece of functionality unusable upstream-fix-needed Waiting on a fix upstream

Comments

@dos65
Copy link
Member

dos65 commented Sep 14, 2021

Steps to reproduce the behavior:

  • Compile this source with scala 3.0.1+:
     class X
     class Main {
       val x: X = ???
    }
  • then comment class X line and save file:
  • no error reported

Expected behavior

 //class X
 class Main {
   val x: X = ??? // error Not found: type X
}

It seems that the issue is on bloop side. Bloop doesn't report errors nor from command line / bsp.
I can't reproduce the same in sbt/sbt-bsp.

Installation:

  • Operating system: Linux
  • Editor: Visual Studio Code
  • Metals version: v0.10.6
@tgodzik
Copy link
Contributor

tgodzik commented Sep 14, 2021

Should we open the issue in Bloop? Was it happening before 3.0.1?

@dos65
Copy link
Member Author

dos65 commented Sep 14, 2021

Should we open the issue in Bloop?

if there were no related fixes in 1.4.9. I wasn't sure about that as the current version in metals is 1.4.8-*.

Was it happening before 3.0.1?

Probably it would be more correct just to write scala 3. Wrote 3.0.1 just because I checked on it and higher versions

@tgodzik
Copy link
Contributor

tgodzik commented Sep 23, 2021

Let's check it after the work around scalacenter/bloop#1477 is finished.

@ckipp01 ckipp01 added bloop Bloop related tickets bug Something that is making a piece of functionality unusable upstream-fix-needed Waiting on a fix upstream labels Dec 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bloop Bloop related tickets bug Something that is making a piece of functionality unusable upstream-fix-needed Waiting on a fix upstream
Projects
None yet
Development

No branches or pull requests

3 participants