Skip to content

Nightly Dotty workflow of 2022-04-28 failed #15055

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

Closed
github-actions bot opened this issue Apr 28, 2022 · 1 comment · Fixed by #15064
Closed

Nightly Dotty workflow of 2022-04-28 failed #15055

github-actions bot opened this issue Apr 28, 2022 · 1 comment · Fixed by #15064
Assignees
Milestone

Comments

@github-actions
Copy link
Contributor

See https://github.com/lampepfl/dotty/actions/runs/2236991940

@griggt
Copy link
Contributor

griggt commented Apr 28, 2022

Ah, our old friend the Windows directory separator.

In test_windows_full:

Error:  Test dotty.tools.languageserver.HoverTest.topLevel failed: java.lang.AssertionError: 
Error:  
Error:  // project299\Source0.scala in project project299
Error:  package hello
Error:  val x: Int = 1
Error:  val y = this.x
Error:  
Error:  while executing action: CodeHover([start=(m1,line=2,char=8), end=(m2,line=2,char=12)], Some(```scala
Error:  (hello.Source0$package : hello.Source0$package.type)
Error:  ```))
Error:  
Error:            expected:<```scala
Error:  ([hello.Source0$package : hello.Source0$package.type])
Error:  ```> but was:<```scala
Error:  ([
Error:    hello.C:\actions-runner2\_work\dotty\dotty\out\ide-tests\src\project299\Source0$package
Error:   : 
Error:    hello.
Error:      C:\actions-runner2\_work\dotty\dotty\out\ide-tests\src\project299\Source0$package
Error:    .type
Error:  ])
Error:  ```>, took 0.047 sec

https://github.com/lampepfl/dotty/blob/b1f00a78eba1eb22c4b2defaa88acc6e025ef59a/compiler/src/dotty/tools/io/VirtualFile.scala#L107-L109

mbovel added a commit to dotty-staging/dotty that referenced this issue Apr 28, 2022
mbovel added a commit to dotty-staging/dotty that referenced this issue Apr 28, 2022
@Kordyjan Kordyjan added this to the 3.2.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants